How do you solve logx(1256)=4?