#include using namespace std; //#include //using namespace atcoder; using ll = long long; using ull = unsigned long long; #define rep(i,n) for(int i=0;i<(n);++i) const int m = 100010; int a[3<<17]; int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); int n,k; cin>>n>>k; for(int i=0;i>mark; a[mark]++; } int z = a[0]; int cnt = 0; for(int i=1;icnt)cnt = a[i]+z; } if(cnt>=k)cout << "Yes" << endl; else cout << "No" << endl; }