32.40/32.64	unsat
