27.07/29.48	unsat
