from itertools import permutations

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

for x, y in permutations(abc, 2):
	if x % 2 == 0 and y % 3 == 0 or x % 6 == 0 and y >= 5:
		print("Yes")
		exit()

print("No")