import sys
# input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################
"""
5 * 5 * 6


"""


a, b, c = na()

from itertools import permutations
for p in permutations([a, b, c], 3):
    if p[0] % 2 == 0 and p[1] % 3 == 0:
        Yes()
        break
    if p[0] >= 2 and p[1] >= 2 and p[2] >= 2 and p[0] * p[1] * p[2] % 6 == 0:
        Yes()
        break
else:
    No()