How do you solve 2.54=-logx?