#include <bits/stdc++.h>
using namespace std;
template <typename Type>
void print(const Type& data) {
  cout << data << endl;
}
template <typename T, typename... Rest>
void print(const T& data, const Rest&... rest) {
  cout << data << " ";
  print(rest...);
}
int main() {
  int N;
  cin >> N;
  vector<int> rateCounter(8, 0);
  int overs = 0;
  for (int i = 0; i < N; ++i) {
    int a;
    cin >> a;
    int rate = a / 400;
    if (rate < 8)
      rateCounter[rate]++;
    else
      overs++;
  }
  int kinds = 0;
  for (int i : rateCounter) {
    if (i > 0) kinds++;
  }
  int minKinds = max(kinds, overs);
  int maxKinds = min(kinds + overs, 8);
  print(minKinds, maxKinds);
  return 0;
}
