31.39/32.21	unsat
