from itertools import permutations

L = sorted([int(s) for s in input().split()])

if L[0] * L[1] * L[2] % 6 != 0:
    print("No")
    exit()

for a, b, c in permutations(L):
    if c % 2 == 0:
        if a * b % 3 == 0:
            print("Yes")
            exit()
    if c % 3 == 0:
        if a * b % 2 == 0:
            print("Yes")
            exit()

print("No")