2.18/4.27	unsat
