Solution counting