24.44/24.58	unsat
