2.90/4.27	unsat
