La complejidad de los conjuntos de enteros sin solución