Злободневная задача линейного программирования

(была разобрана на моей последней лекции на ГФ СПбГУ ИТМО):
В одной семье жена ездит на метро А=4 раза в неделю, а муж - В=7 (чтобы не усложнять задачу, считайте интервалы между поездками равными, а недели не переводите в даты). Санкт-Петербургский метрополитен продает магнитные карты на К=70 поездок сроком действия Т=13 недель (это ровно 3 месяца). Сначала муж купил одну такую карту за Р=4 недели до повышения цен и отдал её жене, а затем вторую - накануне повышения цен. Когда супруги должны поменяться картами, чтобы:
1) все поездки были использованы,
2) последняя из уже оплаченных поездка мужа произошла как можно позже.