30.88/32.99	unsat
