#include <bits/stdc++.h>
void putcolor(char *, int, int);
int main(int argc, char const *argv[]) {
  char excolor[9];
  int input, range;
  int output = 0;
  for (int i = 0; i < 9; i++) {
    excolor[i] = 0;
  }
  scanf("%d", &range);
  for (int i = 0; i < range; i++) {
    scanf("%d", &input);
    if (input / 400 < 8) {
      excolor[(int)input / 400] = 1;
    } else {
      excolor[8]++;
    }
  }
  for (int i = 0; i < 8; i++) {
    output += excolor[i];
  }
  printf("%d ", output);
  printf("%d\n", (output + excolor[8] <= 8) ? output + excolor[8] : 8);
  return 0;
}
