//********************************
//*????????    **
//*?????? 1300012855 **
//*???2013.10.30  **
//********************************


int main(void)
{
	int intime[1000], outtime, outtimemax = 0; // ???????????????????????????
	int timeline[1000]; // ???????????
	int num = 0; // ?????
	int timenum = 0; // ????????
	char dot; // ??????????????
	for(int i = 0; i < 1000; i++)
		timeline[i] = 0; // ??timeline??
	dot = 0;
	while(dot != 10) // ????????????
	{
		cin >> intime[num];
		num++;
		dot = cin.get();
	} // ?????num??+1?????num?????
	for(int i = 0; i < num; i++) // ??????????????????timeline??????????????
	{
		cin >> outtime;
		outtimemax = outtime > outtimemax? outtime : outtimemax; // ????????????
		for(int j = intime[i]; j < outtime; j++)
			timeline[j]++; // ????????????timeline?
		cin.get(); // ????????
	}
	for(int i = 0; i < outtimemax; i++)
	{
		timenum = timeline[i] > timenum? timeline[i] : timenum; // ???????
	}
	cout << num << ' ' << timenum;
	return 0;
}