29.39/32.48	unsat
