#include <bits/stdc++.h>
using namespace std;
template <typename T>
std::ostream &operator<<(std::ostream &out, vector<T> &v) {
  for (typename vector<T>::size_type i = 0; i < v.size(); ++i)
    out << v[i] << " ";
  out << "\n";
  return out;
}
template <typename T, typename N>
std::ostream &operator<<(std::ostream &out, vector<pair<T, N> > &v) {
  for (size_t i = 0; i < v.size(); ++i)
    out << "(" << v[i].first << ", " << v[i].second << ") ";
  out << "\n";
  return out;
}
template <typename T>
std::ostream &operator<<(std::ostream &out, vector<vector<T> > &v) {
  for (size_t i = 0; i < v.size(); ++i) {
    for (size_t j = 0; j < v[i].size(); ++j) {
      out << v[i][j] << " ";
    }
    out << "\n";
  }
  return out;
}
int main() {
  std::ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  int n;
  cin >> n;
  int rating;
  vector<int> colors(8);
  int legend = 0;
  for (int i = 0; i < n; ++i) {
    cin >> rating;
    if (rating < 3200) {
      colors[rating / 400] = 1;
    } else {
      ++legend;
    }
  }
  int mini = 0;
  for (int i = 0; i < 8; ++i) {
    if (colors[i]) {
      ++mini;
    }
  }
  int maxi;
  if (!mini) {
    mini = 1;
    maxi = min(legend, 8);
  } else {
    maxi = min(8, mini + legend);
  }
  cout << mini << " " << maxi << "\n";
  return 0;
}
