1.88/2.27	unsat
