How do you solve 2.54=logx?