题目描述

Ricsae 正在给他的朋友表演一个关于骰子的魔术：

• Ricsae 会拿出一枚骰子，骰子的表面分别写上了从 $1\backsim 500$ 的数字，朋友会随便说一个 $1\backsim 500$ 之间的点数，Ricsae 都能保证百分之百的掷出这个点数。

当然 Ricsae 有备而来，他准备了 $n$ 枚特殊的骰子，第 $i$ 枚特殊骰子，可以保证每次掷出的点数都为 $a_i$。
Ricsae 想问你，他能不能只拿出一枚事先准备好的特殊骰子，成功完成这次魔术。

格式

输入描述

第一行输入 $2$ 个正整数 $n\ (1\leq n\leq 1000)$，$x\ (1\leq x\leq 500)$，分别表示 Ricsae 准备的特殊骰子数量，朋友说的那个点数。
第二行输入 $n$ 个正整数 $a_i\ (1\leq a_i\leq 500)$，分别表示每枚特殊骰子可以掷出的点数。

输出描述

如果 Ricsae 可以成功完成这次魔术，请你输出 YES；否则请你输出 NO。

样例

5 3
1 2 1 3 12

YES

说明

Ricsae 可以选择第 $4$ 个骰子，因为 $a_4 = x = 3$，所以他能百分之百掷出这个朋友说出的点数，所以可以完成这次魔术。

Limitation

1s, 1024KiB for each test case.