from itertools import permutations

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

for perm in permutations(L):
    if perm[1] % 2 == 0 and perm[2] % 3 == 0:
        print("Yes")
        exit()

print("No")