#include <bits/stdc++.h>
using namespace std;
int atcoder() {
  int n;
  cin >> n;
  map<int, int> mp;
  for (int i = 0; i < n; ++i) {
    int tmp;
    cin >> tmp;
    int rate = tmp / 400;
    if (rate >= 8) rate = 8;
    mp[rate]++;
  }
  int anshigh = 0;
  int anslow = 0;
  for (int i = 0; i < 8; ++i) {
    if (mp[i] > 0) anslow++;
  }
  anshigh = min(anslow + mp[7], 8);
  if (anslow == 0) anslow = 1;
  cout << anslow << " " << anshigh << "\n";
  return 0;
}
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  atcoder();
  return 0;
}
