题目描述：

赢得选边权后，王洋教练决定利用最新的时间旅行技术来分析历史上所有的经典比赛，为决赛制定最佳战术。

众所周知，英雄联盟的版本更新遵循一个 12 年的周期：坦克版本、刺客版本、射手版本、法师版本、辅助版本、打野版本、运营版本、打架版本、全球流版本、分带版本、poke 版本、冲阵版本，然后又回到坦克版本。鲜为人知的是，在每个坦克版本期间，都会有一个神秘的时间门户打开，允许人们穿越到过去或未来的任何一个坦克版本。

王洋教练想利用今年打开的时间门户，去观看 N 场（1≤N≤65536，即十六进制的 0x10000 —— 坦克版本的"坦"字有 8 画，十六进制 0x 正好呼应了"零乘"，可谓天意）他的偶像们在历史上进行的经典比赛。

不幸的是，时间旅行会让人有点头晕，所以他更愿意最多进行 K 次（1≤K≤N）时间跳跃。请帮助王洋教练确定，在途中总共进行不超过 K 次时间跳跃的情况下，观看所有经典比赛并回到当前年份所需的最少年数。

王洋教练不需要在某个坦克版本使用时间门户，如果他不想的话。时间门户连接每个坦克版本的第一天，例如，如果王洋教练穿越到一个时间门户，然后等待 12 年直到下一个时间门户打开，他在这个过程中正好花费了 12 年。王洋教练在当前坦克版本的第一天开始他的冒险，所以他可以立即穿越到过去。没有任何一场经典比赛是在坦克版本进行的。

输入格式：

第一行输入包含 N 和 K。接下来的 N 行包含 N 个不同的整数，范围在 1…10⁹ 之间，表示每场经典比赛是在多少年前进行的。

输出格式：

输出王洋教练观看所有经典比赛并回到当前年份所需的最少年数。

样例：

5 3
101
85
100
46
95

36

提示

王洋教练可以用 36 年的时间观看所有经典比赛并返回，方式如下：

• 在当天进入门户，穿越到 48 年前。

• 等待 12 年，然后在 36 年前进入门户，穿越到 108 年前。

• 等待 24 年，然后在 84 年前进入门户，穿越回当前年份。