import sys

sys.setrecursionlimit(10 ** 7)
input = sys.stdin.readline
f_inf = float('inf')
mod = 10 ** 9 + 7


def resolve():
    n, k = map(int, input().split())
    A = list(map(int, input().split()))[::-1]

    i = 0
    while len(A) > i:
        if A[i] - 1 in A:
            new = A[i] - 4
            if new == 1 or new > 8:
                print("No")
                exit()
            if new >= 1:
                A.append(new)

        if A[i] - 3 in A:
            new = A[i] - 5
            if new == 1 or new > 8:
                print("No")
                exit()
            if new >= 1:
                A.append(new)

        if A[i] - 5 in A:
            new = A[i] - 6
            if new == 1 or new > 8:
                print("No")
                exit()
            if new >= 1:
                A.append(new)

        i += 1
    print("Yes")


if __name__ == '__main__':
    resolve()