32.01/32.37	unsat
