2.47/4.27	unsat
