#include <stdio.h>
#include <stdlib.h>

int main(void)
{
	char a[1000000],w[10];
	int n, num[101],i,j,k,color[10], min = 0, max = 0;
	for(i = 0; i < 10; i++)
		color[i] = 0;
	scanf("%d", &n);
	rewind(stdin);
	gets(a);
	j=0;
	k=0;
	for(i=0;a[i]!='\0';i++){
 		if(a[i]==' '){
 		w[j]='\0';
 		num[k++]=atoi(w);
 		j=0;
 		}
 		w[j++]=a[i];
 	}
 	w[j]='\0';
 	num[k++]=atoi(w);

	for(i = 0; i < n; i++){
		switch (i/400){
			case 0:
				color[0]++;
				break;
			case 1:
				color[1]++;
				break;
			case 2:
				color[2]++;
				break;
			case 3:
				color[3]++;
				break;
			case 4:
				color[4]++;
				break;
			case 5:
				color[5]++;
				break;
			case 6:
				color[6]++;
				break;
			case 7:
				color[7]++;
				break;
			default:
				color[8]++;
				break;
		}
	}
	for(i = 0; i < 8; i++){
		if(color[i] > 0)
			min++;
			max++;
		}
	}
	if(color[8] > 0){
		if(8-max < color[8])
			max = 8;
		else
			max = max + color[8];
	}
	printf("%d %d", min, max);

	return 0;
}