249.38/249.83	unsat
