Solución usando AMPL