Template:Non-solvable count