1.29/2.88	unsat
