32.07/32.13	unsat
