from itertools import permutations

A, B, C = map(int, input().split())

for per in permutations([A, B, C]):
    if per[1] % 2 == 0 and per[2] % 3 == 0:
        print("Yes")
        exit(0)


for per in permutations([A, B, C]):
    if per[0] % 5 == 0 and per[1] % 6 == 0:
        print("Yes")
        exit(0)

print("No")