Solve_down