30.70/32.25	unsat
