30.82/32.09	unsat
