29.72/32.25	unsat
