Builtin Search.dfs return solution and Space.ask of the solution is succeeded