Property:Non-solvable count