29.39/30.69	unsat
