from collections import defaultdict N,Q=map(int,input().split()) X=[int(input()) for _ in range(N)] D=defaultdict(int) A=defaultdict(int) Xcnt=0 for x in X: if x>0:Xcnt+=1 D[x]+=1 if Xcnt>(Q-N+Xcnt)//2:exit(print("No")) cnt=0 i=0 while i