solve 10^x = 20 in real