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