4.24/4.27	unsat
