Symbol: solver_solution_count