J=lambda:map(int,input().split())
N,K=J()
print("YNeos"[sorted(J())[N-K]<30::2])