32.12/32.49	unsat
