#include <bits/stdc++.h>
using namespace std;
template <typename T>
T gcd(T a, T b) {
  if (b == 0)
    return a;
  else
    return gcd(b, a % b);
}
template <typename T>
T lcm(T a, T b) {
  T g = gcd(a, b);
  return a / g * b;
}
int main() {
  int N;
  cin >> N;
  vector<int> a(N);
  for (int i = 0; i < N; i++) cin >> a[i];
  int redcoder = 0;
  vector<int> color(8, 0);
  for (int i = 0; i < N; i++) {
    if (1 <= a[i] && a[i] < 400)
      color[0]++;
    else if (400 <= a[i] && a[i] < 800)
      color[1]++;
    else if (800 <= a[i] && a[i] < 1200)
      color[2]++;
    else if (1200 <= a[i] && a[i] < 1600)
      color[3]++;
    else if (1600 <= a[i] && a[i] < 2000)
      color[4]++;
    else if (2000 <= a[i] && a[i] < 2400)
      color[5]++;
    else if (2400 <= a[i] && a[i] < 2800)
      color[6]++;
    else if (2800 <= a[i] && a[i] < 3200)
      color[7]++;
    else
      redcoder++;
  }
  int count = 0;
  for (int i = 0; i < color.size(); i++)
    if (color[i] > 0) count++;
  if (count == 0)
    cout << 1 << " " << min(8, count + redcoder) << endl;
  else
    cout << count << " " << min(8, count + redcoder) << endl;
  return 0;
}
