Solve[t^2==2^t+1,t]