n,k=map(int,input().split())
a=list(map(int,input().split()))
b=set(a)
dp=[0]*8
for i in range(k-1,-1,-1):
    if a[i]<=8:
        if a[i]+1 in b:
            if a[i]-3>=1:
                dp[a[i]-4]=1
                b.add(a[i]-3)
        if a[i]+3 in b:
            if a[i]-2>=1:
                dp[a[i]-3]=1
                b.add(a[i]-2)
        if a[i]+5 in b:
            if a[i]-1>=1:
                dp[a[i]-2]=1
                b.add(a[i]-1)
    else:
        if a[i]+1 in b:
            print("No")
            exit()
        if a[i]+3 in b:
            print("No")
            exit()
        if a[i]+5 in b:
            print("No")
            exit()
if dp[0]==1:
    print("No")
    exit()
print("Yes")