1.68/2.27	unsat
