26.07/29.27	unsat
