finalizada la inferencia de soluciones