#include <bits/stdc++.h>
int main() {
  int N = 0, RATE[110];
  for (int i = 0; i < 110; i++) {
    RATE[i] = 0;
  }
  int COLOR[9];
  for (int i = 0; i < 9; i++) {
    COLOR[i] = 0;
  }
  int MIN = 0, 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] >= 1) && (RATE[i] <= 399)) COLOR[0] = 1;
    if ((RATE[i] >= 400) && (RATE[i] <= 799)) COLOR[1] = 1;
    if ((RATE[i] >= 800) && (RATE[i] <= 1199)) COLOR[2] = 1;
    if ((RATE[i] >= 1200) && (RATE[i] <= 1599)) COLOR[3] = 1;
    if ((RATE[i] >= 1600) && (RATE[i] <= 1999)) COLOR[4] = 1;
    if ((RATE[i] >= 2000) && (RATE[i] <= 2399)) COLOR[5] = 1;
    if ((RATE[i] >= 2400) && (RATE[i] <= 2799)) COLOR[6] = 1;
    if ((RATE[i] >= 2800) && (RATE[i] <= 3199)) COLOR[7] = 1;
    if (RATE[i] >= 3200) COLOR[8]++;
  }
  for (int i = 0; i < 9; i++) {
    if (i <= 7)
      MIN = MIN + COLOR[i];
    else
      MAX = MIN + COLOR[8];
  }
  if (MIN == 0) MIN = 1;
  if (MAX > 8) MAX = 8;
  printf("%d %d", MIN, MAX);
  return 0;
}
