#include <stdio.h>

int main(void) {
    int a=3;
    do{
        a = 2*a - 1;
    }while( a < 10000);
    printf("初めて10000を超えるときは%dとなる",a);
	return 0;
}