import Control.Monad
import Control.Applicative
import Data.List



getBysplit = map read . words <$> getLine

main :: IO()
main = do
  lst <- getBysplit :: IO [Int]
  let (a:b:c) = sort lst
  print $ a * b `div` 2
