implementado numSinSol