Delete solver_dfs.pyc