27.63/30.88	unsat
