1.39/2.88	unsat
