#include <bits/stdc++.h>
enum { FALSE, TRUE };
int colors[9][3] = {
    {1, 399, FALSE},     {400, 799, FALSE},   {800, 1199, FALSE},
    {1200, 1599, FALSE}, {1600, 1999, FALSE}, {2000, 2399, FALSE},
    {2400, 2799, FALSE}, {2800, 3199, FALSE}, {3200, 9999, FALSE},
};
int main(void) {
  int N;
  int mincount, maxcount;
  int topcoder;
  int i, j;
  scanf("%d", &N);
  int a[N];
  topcoder = 0;
  i = 0;
  while (i < N) {
    scanf("%d ", &a[i]);
    j = 0;
    while (j < 10) {
      if (colors[j][0] < a[i]) {
        colors[j][2] = TRUE;
        if (j == 9) {
          topcoder++;
        }
        break;
      }
      j++;
    }
    printf("debug %d", i);
    i++;
  }
  i = mincount = maxcount = 0;
  while (i < 10) {
    if (colors[i][2] == TRUE) {
      mincount++;
    }
    i++;
  }
  maxcount = mincount + topcoder - 1;
  printf("%d %d", mincount, maxcount);
  return 0;
}
