#include <bits/stdc++.h>
int main(int argc, char *argv[]) {
  int n;
  int *a;
  int i;
  unsigned char colFlags = 0x00;
  int master = 0;
  int min = 0, max;
  scanf("%d", &n);
  a = (int *)malloc(n * sizeof(int));
  for (i = 0; i < n; i++) {
    scanf("%d", &a[i]);
    a[i] /= 400;
    if (a[i] > 7) {
      master++;
    } else {
      if (!((colFlags >> a[i]) & 0x01)) {
        min++;
        colFlags = colFlags | (0x01 << a[i]);
      }
    }
  }
  max = min + master;
  max = max > 8 ? 8 : max;
  printf("%d %d\n", min, max);
  return 0;
}
