from itertools import permutations
A, B, C = map(int, input().split())

for a, b, c in permutations([A, B, C]):
    if b%2 == 0 and c%3 == 0:
        exit(print('Yes'))

    if a%6 == 0:
        if not (b == 1 and c == 1):
            exit(print('Yes'))
print('No')