#include <stdio.h>

int main(void) {
	// your code goes here
int a = 3;
int b;
while (a <= 10000){
	a = 2*a-1;
	b++;
}
printf("%d、%d",a,b);


	return 0;
}