solve fib(x) = 13 for x