32.13/32.41	unsat
