题目描述
yunqi 最近痴迷于一款二次元开放世界冒险游戏。yunqi 最近为了心心念念的纳 * 妲猛肝原石。yunqi 不仅是是一个 XP 党还是一个强度党，因此他开始凹深渊。我们知道在深渊中的配队需要四个角色（最多），yunqi 共有 n 个角色（n >= 1）。为了能够满星深渊，yunqi 需要挑选伤害最高的四个角色（最多）组成一个最佳配队。版本更新后深渊中的原魔血条（m <= 10000000）越来越厚。请问 yunqi 能凹过本期深渊吗？（tips：伤害不小于血量就能凹过深渊）
输入
第一行输入 2 个正整数 n，m
接下来的 n 行输入每个角色的伤害 ai
输出
如果 yunqi 可以凹过本期深渊则输出 “YES”，否则输出 “NO”。
（字符串 “yEs”、 “yes”、 “Yes” 和 “YEs” 将被识别为错误答案）
提示
数据范围：1 <= n <= 100，1 <= m <= 10000000，1 <= ai <=10000000
伤害：2 + 3 + 4 + 5 = 14
原魔血量：10
14 >= 10
因此本期深渊对于yunqi来说简直是 A PIECE OF CAKE！！！故输出 YES