#include <bits/stdc++.h>
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;
  }
  (void)scanf("%d", &range);
  for (int i = 0; i < range; i++) {
    (void)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];
  }
  if (output == 0) {
    printf("%d ", 1);
  } else {
    printf("%d ", output);
  }
  if (output + excolor[8] > 8) {
    printf("%d\n", 8);
    return 0;
  } else {
    printf("%d\n", output + excolor[8]);
    return 0;
  }
}
