a, b, c = sorted(map(int, input().split()))
if c >= a + b:
    print("No")
elif c**2 == a**2 + b**2:
    print(round(a * b / 2, 1))
else:
    print("No")