n, k = map(int, input().split())
a = list(map(int, input().split()))
s = set(a)
for i in a:
    if i + 1 in s:
        if i not in [2, 3, 5, 8, 10]:
            exit(print("No"))
    if i + 3 in s:
        if i not in [2, 5]:
            exit(print("No"))
    if i + 5 in s:
        if i not in [3, 4, 6, 9, 11]:
            exit(print("No"))
print("Yes")