las soluciones no se pueden enumerar a priori, sino que la solución ha de