31.52/32.99	unsat
