n,k=map(int,input().split())
arr=list(map(int,input().split()))
s=set(arr)
ans=True
for val in arr[::-1]:
    if val-1 in s:
        if val-2==1 or val-3==1 or val-5==1 or val-8==1:
            continue
        else:
            ans=False
    if val-3 in s:
        if val-1==1 or val-2==1 or val-5==1 or val-8==1:
            continue
        else:
            ans=False
    if val-5 in s:
        if val-1==1 or val-2==1 or val-3==1 or val-4==1 or val-7==1 or val-8==1 or val-10==1 or val-13==1:
            continue
        else:
            ans=False
    if val-1 in s and val-2 in s:
        ans=False
if ans==True:
    print('Yes')
else:
    print('No')