1.29/1.88	unsat
