Symbol: CountSolutions