#include <bits/stdc++.h>
int main(void) {
  char a[1000000], w[10];
  int n, num[101], i, j, k, color[10], min = 0, max = 0;
  for (i = 0; i < 10; i++) color[i] = 0;
  scanf("%d", &n);
  rewind(stdin);
  gets(a);
  j = 0;
  k = 0;
  for (i = 0; a[i] != '\0'; i++) {
    if (a[i] == ' ') {
      w[j] = '\0';
      num[k++] = atoi(w);
      j = 0;
    }
    w[j++] = a[i];
  }
  w[j] = '\0';
  num[k++] = atoi(w);
  for (i = 0; i < n; i++) {
    switch (num[i] / 400) {
      case 0:
        color[0]++;
        break;
      case 1:
        color[1]++;
        break;
      case 2:
        color[2]++;
        break;
      case 3:
        color[3]++;
        break;
      case 4:
        color[4]++;
        break;
      case 5:
        color[5]++;
        break;
      case 6:
        color[6]++;
        break;
      case 7:
        color[7]++;
        break;
      default:
        color[8]++;
        break;
    }
  }
  for (i = 0; i < 8; i++) {
    if (color[i] > 0) {
      min++;
      max++;
    }
  }
  if (color[8] > 0) {
    if (8 - max < color[8])
      max = 8;
    else {
      max = max + color[8];
      if (max > 8) max = 8;
    }
    if (min == 0) min++;
  }
  printf("%d %d", min, max);
  return 0;
}
