#include <bits/stdc++.h>
using namespace std;
using ll = long long;
int main() {
  std::cin.tie(nullptr);
  std::ios::sync_with_stdio(false);
  int rated_people[9] = {};
  int N;
  cin >> N;
  vector<int> a(N);
  for (int i = 0; i < N; i++) {
    cin >> a[i];
    if (a[i] < 3200) {
      rated_people[a[i] / 400]++;
    } else {
      rated_people[8]++;
    }
  }
  int type_of_color = 0;
  for (int i = 0; i < 8; i++) {
    if (rated_people[i] != 0) type_of_color++;
  }
  int max_num = 0;
  if (rated_people[8] >= 8 - type_of_color)
    max_num = 8;
  else
    max_num = type_of_color + rated_people[8];
  cout << type_of_color << ' ' << max_num;
  return 0;
}
