29.82/32.26	unsat
