print the number of solutions.