module Main where
 
main :: IO ()
main = getDoubleList >>= print . solve
 
solve :: [Double] -> Double
solve [m, n] = m + (n / 3)
 
getDoubleList :: IO [Double]
getDoubleList = map read . words <$> getLine