# 想定解: 条件 1 を「(A,B),(B,C),(A,C) の順序つき 3 通り」しか調べておらず、
#         逆順の組を見落とした解法
import sys


def main():
    A, B, C = map(int, sys.stdin.readline().split())

    ok = False
    if A % 2 == 0 and B % 3 == 0:
        ok = True
    if B % 2 == 0 and C % 3 == 0:
        ok = True
    if A % 2 == 0 and C % 3 == 0:
        ok = True

    if A % 6 == 0 and not (B == 1 and C == 1):
        ok = True
    if B % 6 == 0 and not (A == 1 and C == 1):
        ok = True
    if C % 6 == 0 and not (A == 1 and B == 1):
        ok = True

    print("Yes" if ok else "No")


main()

# ------------------------------------------------------------------
# Hack ケース
#   入力: 3 4 5
#   正解: Yes  / この解法: No
# 3 の倍数の辺(3) が 2 の倍数の辺(4) より前にあるため、(B,A) や (C,B) の
# 向きの組を調べていないこの解法では検出できない。
# 他の hack: 3 5 4 / 9 8 5 / 999999999 999999998 5
# ------------------------------------------------------------------