30.33/32.84	unsat
