# 想定解: 体積を浮動小数点数で計算してしまった解法
import sys


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

    # 「A*B*C は最大 1e27 で 64bit に収まらないから」と float にしてしまった
    volume = float(A) * float(B) * float(C)

    if volume % 6 == 0 and [A, B, C].count(1) <= 1:
        print("Yes")
    else:
        print("No")


main()

# ------------------------------------------------------------------
# Hack ケース
#   入力: 999999999 999999998 999999997
#   正解: Yes  / この解法: No
# 真の体積は 999999998999999996000000006 で 6 の倍数だが、double の仮数部
# 53bit では表現できず丸め誤差が乗るため 6 で割り切れなくなる。
# 各辺ごとに 2 / 3 の倍数を判定すれば整数のまま扱える。
# 他の hack: 1000000000 1000000000 999999999
# ------------------------------------------------------------------