#include <bits/stdc++.h>
int main() {
  static char used[16];
  int n, a, k, cnt;
  scanf("%d", &n);
  k = 0;
  while (n--) {
    scanf("%d", &a);
    if (a < 3200)
      used[a / 400] = 1;
    else
      k++;
  }
  cnt = 0;
  for (a = 0; a < 8; a++)
    if (used[a]) cnt++;
  if (cnt == 0)
    printf("1 %d\n", n);
  else
    printf("%d %d\n", cnt, cnt + k);
  return 0;
}
