from itertools import permutations

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

if L[0] * L[1] * L[2] % 6 == 0 and L[0] >= 1 and L[1] >= 2 and L[0] >= 3:
    print("Yes")
else:
    print("No")