#include <bits/stdc++.h>
using namespace std;
template <typename T>
void dump_vec(vector<T> vec) {
  for (int i = 0; i < vec.size(); i++) {
    cout << i << ": " << vec[i] << endl;
  }
}
int main() {
  int n;
  cin >> n;
  vector<pair<int, bool>> colors;
  colors.push_back(make_pair(400, false));
  colors.push_back(make_pair(800, false));
  colors.push_back(make_pair(1200, false));
  colors.push_back(make_pair(1600, false));
  colors.push_back(make_pair(2000, false));
  colors.push_back(make_pair(2400, false));
  colors.push_back(make_pair(2800, false));
  colors.push_back(make_pair(3200, false));
  int ext = 0;
  vector<int> a(n);
  for (int i = 0; i < n; i++) {
    cin >> a[i];
  }
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < colors.size(); j++) {
      if (a[i] < colors[j].first) {
        colors[j].second = true;
        break;
      }
    }
    if (a[i] >= 3200) {
      ext++;
    }
  }
  int norm = 0;
  for (auto c : colors) {
    if (c.second) {
      norm++;
    }
  }
  cout << norm << " " << norm + ext << endl;
  return 0;
}
