24.35/27.48	unsat
