题目描述：

Zayin 是一个与怪物战斗的英雄，这次他将面临 \( n \) 个站成一排的怪物，其中第 \( i \) 个怪物的生命值是 \( a_i \)。
Zayin 拥有使用一种攻击方式战斗，攻击后让所有怪物中所有生命值小于等于 0 的怪物死亡。在 Zayin 攻击一次后，所有存活的怪物对 Zayin 造成 1 点伤害。以上步骤循环进行，直到 Zayin 击杀所有怪物为止。

Zayin 一共有三种攻击方式：

1. 普通攻击： 消耗 0 点能量值，使某个怪物的血量减少一点。
2. 天音波： 消耗 1 点能量值，选择一个怪物并使其血量减少两点。
3. 天雷击： 消耗 1 点能量值，使所有怪物的血量减少一点。

现在 Zayin 共有 \( m \) 点能量，现在线你确定在最优的策略下，击败 \( n \) 只怪物所损失的最少血量。

输入格式：

• 输入的第一行包含两个整数 \( n, m \)（( 1 <= n <= 10^5 )），表示怪物的个数，(m) 表示 Zayin 拥有的能量值。
• 输入的第二行包含 \( n \) 个非负整数 ( a1, a2, ...., an )（( 1 <= ai <= 10^9 )），表示第 ( i ) 只怪物的血量。

输出格式：

• 一行一个整数表示答案。

样例数据：

输入：

3 4
2 4 4

输出：

6

数据范围：

• 对于 30% 的数据， \(1 \leq n \leq 5 \) 。
• 对于另外 15% 的数据，\( m = 0 \)。
• 对于另外 15% 的数据，所有 \( a_i \) 全都相等。
• 对于 100% 的数据，\( 1 \leq n \leq 10^5 \)，\( 1 \leq m \leq 10^5 \)，\( 1 \leq a_i \leq 10^9 \)。