1.68/1.88	unsat
