Symbol: solver_next_solution