char*r="No";ll@n,@k,z[n+1]{};rep(n){ll@a;++z[a];}rep(i,n)if(z[0]+z[i+1]>=k)r="Yes";wt(r);