#include <bits/stdc++.h>
using namespace std;
int main(void) {
  int n;
  int rate[4800];
  int colorCnt[8] = {0};
  int topCorderCnt = 0;
  int min = 0;
  int max = 0;
  scanf("%d", &n);
  for (int i = 0; i < n; ++i) {
    scanf("%d", &rate[i]);
  }
  for (int i = 0; i < n; ++i) {
    if (rate[i] < 400) {
      colorCnt[0] = 1;
    } else if (rate[i] < 800) {
      colorCnt[1] = 1;
    } else if (rate[i] < 1200) {
      colorCnt[2] = 1;
    } else if (rate[i] < 1600) {
      colorCnt[3] = 1;
    } else if (rate[i] < 2000) {
      colorCnt[4] = 1;
    } else if (rate[i] < 2400) {
      colorCnt[5] = 1;
    } else if (rate[i] < 2800) {
      colorCnt[6] = 1;
    } else if (rate[i] < 3200) {
      colorCnt[7] = 1;
    } else {
      ++topCorderCnt;
    }
  }
  for (int i = 0; i < 8; ++i) {
    min += colorCnt[i];
  }
  if (min == 0) {
    min = 1;
  }
  max = min + topCorderCnt;
  cout << min << ' ' << max << endl;
  return 0;
}
