30.61/32.92	unsat
