#include <bits/stdc++.h>
int main(int argc, char *argv[]) {
  int i, N;
  int d = 0, min = 0, max = 0;
  char buf[4096];
  int rate[9] = {0};
  scanf("%d\n", &N);
  fgets(buf, sizeof(buf), stdin);
  for (i = 0; i < N; i++) {
    d = atoi(strtok(i == 0 ? buf : NULL, " \n"));
    if (d < 400) {
      rate[0]++;
    } else if (d < 800) {
      rate[1]++;
    } else if (d < 1200) {
      rate[2]++;
    } else if (d < 1600) {
      rate[3]++;
    } else if (d < 2000) {
      rate[4]++;
    } else if (d < 2400) {
      rate[5]++;
    } else if (d < 2800) {
      rate[6]++;
    } else if (d < 3200) {
      rate[7]++;
    } else {
      rate[8]++;
    }
  }
  for (i = 0; i < 8; i++) {
    if (rate[i] > 0) {
      min++;
    }
  }
  if (min == 0) {
    min = 1;
  }
  max = min + rate[8];
  printf("%d %d\n", min, max);
  return 0;
}
