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

from itertools import combinations, combinations_with_replacement, permutations, product

X = [1, 2, 3]

for p in permutations(range(3)):
    a = X[p[0]]
    b = X[p[1]]
    c = X[p[2]]
    if A % a == 0 and B % b == 0 and C % c == 0:
        print("Yes")
        exit()

X = [1, 5, 5]

for p in permutations(range(3)):
    a = X[p[0]]
    b = X[p[1]]
    c = X[p[2]]
    if A % a == 0 and B % b == 0 and C % c == 0:
        print("Yes")
        exit()

X = [4, 2, 4]

for p in permutations(range(3)):
    a = X[p[0]]
    b = X[p[1]]
    c = X[p[2]]
    if A % a == 0 and B % b == 0 and C % c == 0:
        print("Yes")
        exit()

X = [3, 3, 3]

for p in permutations(range(3)):
    a = X[p[0]]
    b = X[p[1]]
    c = X[p[2]]
    if A % a == 0 and B % b == 0 and C % c == 0:
        print("Yes")
        exit()

print("No")