#include <bits/stdc++.h>
int in() {
  int n = 0, c = getchar_unlocked();
  do n = 10 * n + (c & 0xf);
  while ((c = getchar_unlocked()) >= '0');
  return n;
}
char color[10];
int main() {
  int i, N, a, f = 0;
  int mi, ma;
  N = in();
  while (N--) {
    a = in();
    if (a >= 3200)
      f++;
    else
      color[a / 400] = 1;
  }
  mi = 0;
  for (i = 0; i < 10; ++i) {
    if (color[i]) mi++;
  }
  ma = mi + f;
  printf("%d %d\n", mi, ma);
  return 0;
}
