#include<fstream.h>
ifstream f("date.in");
/*int prim(int n)
{  if(n==0 || n==1) return 0;
   else for(int i=2;i<=n/2;i++)
	  if(n%i==0) return 0;
   return 1;
} */
int prim(int n)
{ if(n==2 || n==3 || n==5 || n==7) return 1;
  else return 0;
}

void main()
{ int max=0,p=0,n;
  while(f>>n)
  { if(prim(n)) if(n>max) { max=n; p=1; }
		else if(n==max) p++;
  }
  cout<<max<<" "<<p;
}