 <?php   

//8色より多いことはないのにきをつける
//3200以上の人数だけ色を足せばいい
//3200以上しかいない時は一色
       
fscanf(STDIN,"%d",$s);
$a_li = explode(" ",trim(fgets(STDIN)));
$vali = array();
$vali_ext=0;
foreach($a_li as $n){
  switch ($n) {
      case 1<=$n && $n<=399:
          $vali['a']++;
          break;
      case 400<=$n && $n<=799:
          $vali['b']++;
          break;
      case 800<=$n && $n<=1199:
           $vali['c']++;
          break;
      case 1200<=$n && $n<=1599:
           $vali['d']++;
          break;
      case 1600<=$n && $n<=1999:
           $vali['e']++;
          break;
      case 2000<=$n && $n<=2399:
           $vali['f']++;
          break;
      case 2400<=$n && $n<=2799:
           $vali['g']++;
          break;
      case 2800<=$n && $n<=3199:
          $vali_ext++;
          break;
      default:
          $vali_ext++;
  }
}
//print_r($vali);
$vali_count = count($vali);
echo max($vali_count,1)." ".($vali_count+$vali_ext)."\n";