29.17/29.27	unsat
