1.08/1.88	unsat
