不错，学到了

我觉得这道题应该属于数论题

左边F(X)≤[X(1+2+4+8+16+32)]≤[63X]
F(X)=12345,X≥12345/63=195.952....
63*196=12348,F(X)是不减函数，所以解在（195，196）
假设X=195+M,F(X)=195*63+F(M)=12285+F(M)
F(M)=(带入左边），M在0到1之间，所以F(M)<0+1+3+7+15+31=57
F(X)=195*63+F(M)=12285+F(M)<12342<12345,矛盾