generador de restricciones para solucionar un septeku en lps