I题是个签到题
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 256 M,其他语言512 M
Special Judge, 64bit IO Format: %lld

题目描述

经过2019一年的比赛,牛牛战队的队员发现了一个重大规律:I题是个签到题!

签到题的定义是:通过人数大于等于全场人数的或者通过人数是所有题目前三多的题(也就是最多有两个题目通过人数严格比它多)叫做签到题。

2020赛季就要到了,牛牛战队要去验证这个规律了,已知现在每个题的过题情况,看一看I题是不是一个签到题。

输入描述:

输入数据共行。第一行包括两个整数,表示比赛的总题数和比赛的总人数。

第二行包括以空格分隔的个整数,表示每个题通过的人数。

输出描述:

如果I题是个签到题,则输出Yes,否则输出No。(不区分大小写)
示例1

输入

复制
9 100
100 100 100 100 100 100 100 100 100

输出

复制
Yes