A, B, C = map(int, input().split())
print("Yes" if (A * B * C) % 6 == 0 and A * B > 1 and B * C > 1 and C * A > 1 else "No")