编程题
### 问题描述
小齐有一个抽屉,里面放着一些 $N$ 种颜色的袜子。对于每种颜色 $i$,小齐知道有 $A_i$ 双颜色为 $i$ 的袜子。小齐可以搭配两只相同颜色的袜子,但不能搭配两只不同颜色的袜子。
如果小齐在不看抽屉的情况下随机取出袜子,为了确保她至少可以搭配 $K$ 双袜子,她至少需要多少只袜子?
### 输入格式
第一行包含两个整数 $N$ 和 $K$。
第二行包含 $N$ 个整数,表示数组 $A$ 的元素。
### 输出格式
如果没有解决方案,输出 -1。否则,输出一个整数,表示所需的最小袜子数量。
### 样例输入
```
1 3
10
```
### 样例输出
```
6
```
### 评测数据规模
$1 \leq N \leq 10^5$,$1 \leq A_i \leq 10^5$,$1 \leq K \leq 10^9$。