内存限制：128 MB
时间限制：1.000 S
标准输入输出
题目类型：传统
评测方式：文本比较
上传者：
提交：34
通过：11
通过率：32.353%
你的朋友提议玩一个游戏：将写有数字的 n 个纸片放入口袋中，你可以从口袋中抽取 4 次纸片，每次记下纸片上的数字后都将其放回口袋中。如果这 4 个数字的和是 m ，就是你赢，否则就是你的朋友赢。你挑战了好几回，结果一次也没赢过，于是怒而撕破口袋，取出所有纸片，检查自己是否真的有赢的可能性。请你编写一个程序，判断当纸片所写的数字是 k1 , k2 , ... , kn 时，是否存在抽取 4 次和为 m 的方案。如果存在输出“Yes”；否则输出“No”。
输入数据有三行，第一行一个整数 n ，第二行一个整数 m ，第三行 n 个整数。
输出为一行，如果存在输出“Yes”；否则输出“No”。
1 <= n <= 50
1 <= m <= 10^8
1<= ki <= 10^8
对于样例说明（抽取的四次结果是 1、1、3、5， 和就是 10 ）