1.88/2.52	unsat
