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

main :: IO ()
main = do
  main = do
  ss <- words <$> getLine 
  
  practice [a] [b] = ([b] !! 2  *  read [a] !! 1  ) / 2 
  putStrLn (head ss) 
  
  