30.39/32.27	unsat
