32.18/32.25	unsat
