29.51/30.89	unsat
