小 正在给他的朋友表演一个关于骰子的魔术：
小 会拿出两枚骰子，骰子的表面分别写上了从 ∽ 的数字，朋友会随便说一个 ~ 之间的数字，小 都能保证百分之百掷出两枚骰子的
点数之和为朋友说的数字。当然 小 有备而来，他准备了 枚特殊的骰子，第 枚特殊骰子，可以保证每次掷出的点数都为 。小 想问你，他
能不能只拿出两枚事先准备好的特殊骰子，成功完成这次魔术。
输入包含两行：
第一行输入 个正整数 ，，分别表示 小 准备的特殊骰子数量，朋友说的那个数字。
第二行输入 个正整数 ，分别表示每枚特殊骰子可以掷出的点数。
如果 小 可以成功完成这次魔术，请你输出 ；否则请你输出 。
样例输入 1
5 4 1 2 3 4 5
样例输出 1
YES
样例输入 2
3 100 50 1 50
样例输出 2
样例输入 3
4 50 1 2 30 30
样例输出 3
NO
对于 的数据，满足: 。