1.49/1.88	unsat
