2.61/2.88	unsat
