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 in s:
            if val-3==1:
                continue
            else:
                ans=False
        if val-2==1:
            continue
        if val-3 in s:
            ans=False
        if val-3==1:
            continue
        if val-5 in s:
            ans=False
        if val-5==1:
            continue
        if val-8 in s:
            ans=False
        if val-8==1:
            continue
        ans=False
    if val-3 in s:
        if val-4 in s:
            ans=False
        if val-4==1:
            continue
        if val-7 in s:
            ans=False
        if val-7==1:
            continue
        ans=False
    if val-5 in s:
        if val-7 in s:
            ans=False
        if val-7==1:
            continue
        if val-8 in s:
            ans=False
        if val-8==1:
            continue
        if val-10 in s:
            ans=False
        if val-10==1:
            continue
        if val-13 in s:
            ans=False
        if val-13==1:
            continue
        ans=False
if ans==True:
    print('Yes')
else:
    print('No')