let _ = stdin.ReadLine() let arr = stdin.ReadLine().Split(' ') |> Array.map int let b = Array.sum arr / 10 arr |> Array.filter((>=)b) |> Array.length |> (*) 30 |> printfn "%d"