An AMPL model and a solution.