32.22/32.38	unsat
