count solutions.
	modified:   solver.c