24.63/27.47	unsat
