29.82/32.77	unsat
