2.67/4.27	unsat
