29.34/30.25	unsat
