import sys
sys.setrecursionlimit(2000)
input = sys.stdin.readline
#無限大
#INF = (1 << 61) - 1
#4つのマスチェック用
four_step = [(0, 1), (1, 0), (-1, 0), (0, -1)]
def chmmin(a, b):
    if a > b:
        a = b
        return True
    else:
        return False
def chmax(a, b):
    if a < b:
        a = b
        return True
    else:
        return False
data = list(map(int, input().split()))
check_num = [1, 2, 3]
v = data[0]*data[1]*data[2]
count = 0
for i in range(3):
    if data[i] == 1:
        count += 1
if v % 6 == 0:
    if count > 1:
        print("No")
    else:
        print("Yes")
else:
    print("No")