import itertools

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

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

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