30.71/33.27	unsat
