247.97/249.55	unsat
