#include<iostream>
using namespace std;
long long rp,score;
int main(){   
    while(rp<1145141919810)rp<<=1;
   while(score<749)score++;
   cout<<rp<<' '<<score;
   return 114514*0;
}