32.61/32.72	unsat
