NotSolvables counting improved