from itertools import permutations

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

for perm in permutations(range(1, 4)):
    for i in range(3):
        if ABC[i]%perm[i] != 0:
            break
    else:
        print("Yes")
        break
else:
    print("No")