Відомо, знаки зодіаку в китайському календарі слідують 12-річний цикл: Ox, Tiger, Rabbit, Dragon, Snake, Horse, Goat, Monkey, Rooster, Dog, Pig, Rat, а потім знову Ox. Менш відомий той факт, що наприкінці кожного року Ox відкривається тимчасовий портал, що дозволяє коровам переміститися в будь-який інший рік Ox у минулому чи майбутньому.

Корова Бесі хоче відвідати \(N\) своїх попередників, які жили багато раніше (\(1 \leq N \leq 0x10000\)). 0x10000 - це число в 16-ій системі числення, що дорівнює 65536 у десятковій.

На жаль, подорожі в часі втомливі, і Бесі воліє зробити не більше \(K\) стрибків у часі (\(1 \leq K \leq N\)). Допоможіть Бесі визначити мінімальне кількість років, що знадобиться Бесі, щоб відвідати всіх попередників і повернутися в поточний рік, зробивши не більше \(K\) стрибків у часі по шляху.

Бесі не зобов'язана використовувати тимчасовий портал цього року Ox, якщо не хоче. Тимчасові портали поєднують перші дні кожного з Ox років один з одним, тому, наприклад, якщо Бесі використовувала тимчасовий портал і потім почекала 12 років наступного тимчасового порталу, вона витратить рівно 12 років на процес. Бесі починає свою подорож у перший день поточного Ox року, тому вона може подорожувати назад. Ніхто з попередників Бесі не жив у роках Ox.

Формат вхідних даних

Перший рядок введення містить \(N\) та \(K\). Наступні \(N\) рядків містять \(N\) різних цілих чисел в інтервалі \(1 \ldots 10^9\), що вказують скільки років тому жив кожен з попередників Бесі.

Формат вихідних даних

Виведіть мінімальну кількість років, яку потрібно Бесі, щоб відвідати всіх своїх попередників і повернутися до цього року.

Приклад вхідних даних

5 3
101
85
100
46
95

Приклад вихідних даних

36

Один із способів для Бесі відвідати всіх своїх попередників за 36 років такий:

• Увійти до порталу цього року і повернутися на 48 років у минуле.
• Зачекати 12 років потім увійти до порталу в 36 років у минулому і промандрувати 108 років у минуле.
• Зачекати 24 роки, потім зайти в портал у 84 роки в минулому і промандрувати назад у поточний рік.