27.31/29.27	unsat
