32.25/32.35	unsat
