27.31/29.89	unsat
