import Control.Applicative ((<$>))

import Data.ByteString.Char8 (ByteString)
import qualified Data.ByteString.Char8 as B

import Data.List (unfoldr, delete)
import Data.Char (isSpace)

main :: IO ()
main = do
  getLine
  solve <$> readil B.readInt <$> B.getLine >>= print

solve :: [Int] -> Int
solve xs = mx + (sum . map (flip div 2) $ delete mx xs)
  where mx = maximum xs

readil :: Integral a =>  (ByteString -> Maybe (a, ByteString)) -> ByteString -> [a]
readil f = unfoldr g
  where
    g s = do
      (n, s') <- f s
      return (n, B.dropWhile isSpace s')