import sys
from heapq import heappush, heappop
n, k = map(int, input().split())
a = list(map(int, input().split()))
q = []
used = set()
for x in a:
	heappush(q, -x)
	used.add(x)
while q:
	l = -heappop(q)
	if l == 1:
		print("No")
		sys.exit()
	ret = []
	for _ in range(3):
		if not q:
			continue
		m = -heappop(q)
		ret.append(-m)
		if l - m in {1, 3, 5}:
			p = (l+m)//2 - 3
			if p not in used and p > 0:
				heappush(q, -p)
				used.add(p)
	for r in ret:
		heappush(q, r)
print("Yes")