def calTri(x,y)
    puts x*y/2
end
a,b,c = gets.split.map(&:to_i)
if a**2 + b**2 == c**2 then
    calTri(a,b)
elsif a**2 + c**2 == b**2 then
    calTri(a,c)
elsif b**2 + c**2 == a**2 then
    calTri(b,c)
end