cleared up systematic error in solution counting