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

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