27.84/30.88	unsat
