#include <bits/stdc++.h>
int get_colour(int rating) {
  rating = (rating < 3200 ? rating : 3200);
  return rating / 400;
}
int main() {
  int no_of_contestants;
  scanf("%d", &no_of_contestants);
  const int NO_OF_COLOURS = 8, SPECIAL = 8;
  int frequency[NO_OF_COLOURS + 1] = {0};
  while (no_of_contestants--) {
    int rating;
    scanf("%d", &rating);
    int colour = get_colour(rating);
    frequency[colour]++;
  }
  int normal_colours = 0;
  for (int i = 0; i < SPECIAL; i++) normal_colours += (frequency[i] > 0);
  int max_colours = (normal_colours + frequency[SPECIAL] < NO_OF_COLOURS
                         ? normal_colours + frequency[SPECIAL]
                         : NO_OF_COLOURS);
  int min_colours = (normal_colours == 0 ? 1 : normal_colours);
  printf("%d %d", min_colours, max_colours);
  return 0;
}
