Symbol: solver_next_problem