open System
open System.Collections.Generic

module InputUtility =
    let InputTokens = new Queue<string>()

    let EnsureInput () =
        if InputTokens.Count = 0 then
            let input = Console.ReadLine ()
            let s = input.Split ([|' '|], StringSplitOptions.RemoveEmptyEntries)
            if s.Length > 0 then
                for x in s do InputTokens.Enqueue(x)
                true
            else false
        else true

    let rec ReadNext () =
        if EnsureInput () then InputTokens.Dequeue ()
        else ReadNext ()

    let ReadNextInt () = ReadNext () |> int

    let Read2Int () = ReadNextInt (), ReadNextInt ()

    let ReadListOf f n =
        let rec loop acc = function
            | 0 -> List.rev acc
            | c -> loop ((ReadNext () |> f) :: acc) (c-1)
        loop [] n

    let MultipleCaseWithId f =
        let caseNum = ReadNextInt ()
        let rec loop index =
            if index = caseNum then ()
            else
                f index
                loop (index + 1)
        loop 0

    let MultipleCase f = MultipleCaseWithId (fun _ -> f ())

    let ReadList n =
        let rec loop acc = function
            | 0 -> List.rev acc
            | c -> loop (ReadNext () :: acc) (c-1)
        loop [] n

open InputUtility

module ABC064 =
    let private ``Colorful Leaderboard`` () =
        let un = 8
        let n = ReadNextInt ()
        let a =
            ReadListOf int n
            |> Seq.map (fun d -> d / 400)
            |> Seq.where ((>) un)
            |> Seq.cache
        //printfn "a:\t%s" (System.String.Join(" ", a |> Seq.sort))
        //printfn "da:\t%s" (System.String.Join(" ", a |> Seq.sort |> Seq.distinct))
        let m = a |> Seq.distinct |> Seq.length
        let u = m + n - Seq.length a
        printfn "%d %d" (max m 1) u

    let Entry = ``Colorful Leaderboard``

ABC064.Entry ()