A mixed-integer linear programming problem which is efficiently solvable