from collections import defaultdict N,Q=map(int,input().split()) X=[int(input()) for _ in range(N)] A=defaultdict(int) st=set() zero=0 for x in X: if x==0:zero+=1 else:st.add(x) if len(st)*2>Q-zero: exit(print("No")) print("Yes") if zero>0: for i in range(1,10**9+1): if i not in st: dummy=i;break cnt=0 i=0 while i