solve(x^(12)=2^x,x)