import itertools

X = list(map(int,input().split()))

ans = False
for p in itertools.permutations(range(3)):
	tmp = True
	for i in range(3):
		if X[p[i]] % (i+1) != 0:
			tmp = False
			break
	if tmp:
		ans = True
		break

for x in X:
	if x % 6 == 0:
		if X.count(1) != 2:
			ans = True

if ans:
	print("Yes")
else:
	print("No")