import sys
input = sys.stdin.readline
N, K = map(int, input().split())
a = set(map(int, input().split()))
for _ in range(500):
  t = set()
  for i in a:
    for j in a:
      if j - i == 1: t.add(i - 3)
      if j - i == 3: t.add(i - 2)
      if j - i == 5: t.add(i - 1)
  a |= t
sa = sorted(a)
for i in range(len(sa)):
  if i + 3 >= len(sa): continue
  if sa[i + 3] - sa[i] == 3:
    print("No")
    exit(0)
if 1 in a: print("No")
else: print("Yes")