249.39/249.85	unsat
