32.49/32.75	unsat
