import Control.Applicative
import Control.Monad
import Data.List
import Data.Char
strToInt s = (read :: String -> Int) s

main :: IO ()
main = do
    -- 整数の入力
    n <- getLine
    -- スペース区切り整数の入力
    l <- map strToInt . words <$> getLine
    let ex = length $ filter (>= 3200) l
        ans = length . group $ map (`div` 400) l
    -- 出力
    putStr $ show ans ++ ' ' ++ show (ans + ex)
