1.28/2.88	unsat
