Рік Корови
Відомо, що знаки зодіаку в Китайському календарі слідують 12-річному циклу: Ox, Tiger, Rabbit, Dragon, Snake, Horse, Goat, Monkey, Rooster, Dog, Pig, Rat, і потім знову Ox. Менш відомий той факт, що в кінці кожного року Ox відкривається часовий портал, що дозволяє коровам переміститися в будь-який інший рік Ox у минулому або майбутньому.
Корова Бессі хоче відвідати n своїх попередників, які жили набагато раніше.
На жаль, подорожі в часі виснажливі, і Бессі віддає перевагу зробити не більше k стрибків у часі. Допоможіть Бессі визначити мінімальну кількість років, яка знадобиться їй, щоб відвідати всіх попередників і повернутися в поточний рік, здійснивши не більше k стрибків у часі по дорозі.
Бессі не зобов'язана використовувати часовий портал у даному році Ox, якщо не хоче. Часові портали з'єднують перші дні кожного з Ox років один з одним, тому, наприклад, якщо Бессі використала часовий портал і потім почекала 12 років до наступного часового порталу, вона витратить рівно 12 років на процес. Бессі починає свою подорож у перший день поточного Ox-року, тому вона може подорожувати назад. Ніхто з попередників Бессі не жив у роках Ox.
Вхідні дані
Перша рядок вводу містить n (1 ≤ n ≤ 0x10000, 0x10000 - це число в 16-річній системі числення, що дорівнює 65536 у десятковій) і k (1 ≤ k ≤ n). Наступні n рядків містять n різних цілих чисел в інтервалі 1..10^9, що вказують скільки років тому жив кожен з попередників Бессі.
Вихідні дані
Виведіть мінімальну кількість років, яка знадобиться Бессі, щоб відвідати всіх своїх попередників і повернутися в теперішній рік.
Приклад
Один із способів для Бессі відвідати всіх своїх попередників за 36 років такий:
Увійти в портал у поточному році і повернутися на 48 років у минуле.
Почекати 12 років, потім увійти в портал у 36 років у минулому і подорожувати 108 років у минуле.
Почекати 24 роки, потім зайти в портал у 84 роки в минулому і подорожувати назад у поточний рік.