1.28/1.88	unsat
