28.04/30.88	unsat
