ll@n,@k,z[n+1]{};rep(n)++z[rd_ll()];wt(*z+max(((z+1))(n))<k?"No":"Yes");