It is neat that this turned out to be a less trivial problem than it seemed at first, even with the simplifying assumptions.