#include <bits/stdc++.h>
using namespace std;
typedef enum tagCOLOR {
  GRAY = 0,
  BROWN,
  GREEN,
  CYAN,
  BLUE,
  YELLOW,
  ORANGE,
  RED,
  FREE,
  COL_NUM
} COLOR;
int main(int argc, char* argv[]) {
  int N;
  int col[COL_NUM] = {0};
  int mincol = 0, maxcol = 0;
  cin >> N;
  vector<int> a(N);
  for (int i = 0; i < N; i++) {
    cin >> a[i];
    if (a[i] >= 1 && a[i] <= 399) {
      col[GRAY]++;
    } else if (a[i] >= 400 && a[i] <= 799) {
      col[BROWN]++;
    } else if (a[i] >= 800 && a[i] <= 1199) {
      col[GREEN]++;
    } else if (a[i] >= 1200 && a[i] <= 1599) {
      col[CYAN]++;
    } else if (a[i] >= 1600 && a[i] <= 1999) {
      col[BLUE]++;
    } else if (a[i] >= 2000 && a[i] <= 2399) {
      col[YELLOW]++;
    } else if (a[i] >= 2400 && a[i] <= 2799) {
      col[ORANGE]++;
    } else if (a[i] >= 2800 && a[i] <= 3199) {
      col[RED]++;
    } else {
      col[FREE]++;
    }
  }
  for (int i = 0; i < COL_NUM - 1; i++) {
    if (col[i] != 0) {
      mincol++;
    }
  }
  maxcol = mincol + col[FREE];
  cout << mincol << " " << maxcol << endl;
  return 0;
}
