#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, a;
  int mincount, maxcount;
  int topcoder;
  int i, j;
  scanf("%d", &N);
  topcoder = 0;
  i = 0;
  while (i < N) {
    scanf("%d ", &a);
    j = 0;
    while (j < 9) {
      if (colors[j][0] <= a && a <= colors[j][1]) {
        colors[j][2] = TRUE;
      }
      j++;
    }
    if (colors[9 - 1][0] <= a) {
      topcoder++;
    }
    i++;
  }
  i = mincount = maxcount = 0;
  while (i < 9) {
    if (colors[i][2] == TRUE) {
      mincount++;
    }
    i++;
  }
  maxcount = mincount;
  if (0 < topcoder) {
    mincount--;
    maxcount = mincount + topcoder;
  }
  printf("%d %d", mincount, maxcount);
  return 0;
}
