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

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