3.20/4.27	unsat
