24.34/24.48	unsat
