Solución con codificación AMPL.