a, b, c = map(int, input().split())
if a * b * c % 6 != 0:
    # 6の倍数でないのならNo
    print("No")
elif (a + b + c) - max(a, b, c) == 2:
    # a, b, cのうち1が二つあるのならNo
    print("No")
else:
    print("Yes")