1153: [STT2024JanR2] 地地厌射击

内存限制:128 MB 时间限制:1.000 S
评测方式:文本比较 命题人:
提交:31 解决:13

题目描述

地地讨厌射击课,喜欢睡觉。

然而,有一次他在上射击课的时候睡觉,梦游到了靶场上,闭眼十连发中靶心。教练和同学都惊呆了,这时地地为了躲避阳光,又回到树下睡觉。下课铃声响起,地地准时苏醒,结果被跪在他周围膜拜他的教练和同学惊呆了。教练充满钦佩地说说:“地地教练,请教我这个。”

但是,这根本难不倒他。为了维持“梦游枪神”的神话。地地开始探究自己梦游的规律。终于,地地发现自己在做梦时,脑子里有一大团混乱的数字,这些数字可以用混乱程度 $C$,来衡量。$C$ 是在这堆数字中第一个没有出现的自然数。当 $C$ 超过一个阈值 $S$ 时,地地就会梦游。

输入

输入的第一行包含两个正整数 $n, S$,表示地地脑中数字个数,阈值。

接下来一行包含 $n$ 个数字,第 $i$ 个数字 $a_i$ 表示地地脑中出现了 $a_i$。

输出


第一行,如果地地会梦游,输出`Yes`,否则输出`No`。


第二行,输出混乱程度 $C$。

样例输入 复制

6 2
2 2 5 3 0 1

样例输出 复制

Yes
4

提示


### 样例 #2

#### 样例输入 #2

```
5 3
2 0 8 723243 9999
```

#### 样例输出 #2

```
No
1
```

### 提示

**【样例 #1 解释】**



地地脑中第一个没有出现的自然数是 $4$。$4>2$,所以地地会梦游。


**【样例 #2 解释】**


地地脑中第一个没有出现的自然数是 $1$。$1<3$,所以地地不会梦游。


**【数据范围】**


对于 $40\%$ 的数据,满足 $1 \leq n \leq 10^2$。

对于 $100\%$ 的数据,满足 $1 \leq n \leq 10^5$,$-1 \leq S \leq n$,$0 \leq a_i \leq 10^9$。