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]
array_use = [[False for _ in range(3)] for _ in range(3)]
ans = False
def check2(num, _array):
    global ans
    for i in range(3):
        if i == num:
            continue
        else:
            if _array[i][2]:
                ans = True
                return
for i in range(3):
    for j in range(3):
        if data[j] % check_num[i] == 0:
            array_use[j][i] = True
array_check = []
for j in range(0, 3):
    if array_use[j][1]:
        check2(j, array_use)
if ans:
    print("Yes")
else:
    print("No")