Add count_solutions