Solving for integers $m>8, n > 0$ for $2^m - 3^n = 13$ Let $m,n$ be integers such that:
$$2^m - 3^n = 13$$
$m > 8$ since $2^8 - 3^5 = 13$.
I am trying to either find a solution or prove that no solution exists.
I tried to use an argument similar to this one for $2^m - 3^n = 5$ where $m > 5$.
$3^n \equiv -13 \pmod {512}$ if and only if $n \equiv{69} \pmod {128}$
Is there a straight forward way to complete the argument?  Is there a better way to answer the question for $2^m - 3^n = 13$ with $m > 8$?

Edit:
Adding context for question:
I have been trying to understand why it is so difficult to establish a lower bound to $2^m - 3^n$ when $2^m > 3^n$.  This came out of thinking about the Collatz Conjecture.
It occurs to me that for $m \ge 3$, $2^m - 3^n$ is congruent to either $5$ or $7$ modulo $8$  (since $-3^{2i} \equiv 7 \pmod 8$ and $-3^{2i+1} \equiv 5 \pmod 8$)
For $2^m - 3^n \equiv 7 \pmod {12}$, $m$ and $n$ are even, so the lower bound is at least $3^{n/2}$ since:
$$2^m - 3^n = (2^{m/2} - 3^{n/2})(2^{m/2} + 3^{m/2}) > 0$$
and
$$2^{m/2} - 3^{m/2} \ge 1$$
So, to reach a lower bound, I need to better understand the implications of $2^m - 3^n \equiv 5 \pmod 8$ and $2^m - 3^n \equiv 7 \pmod 8$ when $2^m - 3^n \not\equiv 7 \pmod {12}$.
I am also working to better understand this blog post by Terence Tao.

Edit 2:
I think that I can complete the argument using the congruence classes of $257$.
Here's my thinking:
Since $n \equiv 69 \pmod {128}$, $3^n \equiv 224$ or $33 \pmod {257}$
Then $2^m \equiv 3^n + 13 \pmod {257}$ which means $2^m \equiv 237$ or $46 \pmod {257}$
But there is no such solution of $2^m$ since for each $2^m$, there exists an integer $i$ such that $2^m \equiv \pm 2^{i} \pmod {257}$ and there is no such $i$ where $\pm 2^{i} \equiv {237} \pmod  {257}$ or $\pm 2^{i} \equiv {46} \pmod {257}$

$$2^{m} - 3^{n} = 13\tag{1}$$
An argument mod $3$ shows that $m$ is even, then let $m=2a.$
We can take the three cases $n=3b, n=3b+1,$ and $n=3b+2.$
The problem can be reduced to finding the integer points on elliptic curves as follows.
$\bullet n=3b$
Let $X=3^{b}, Y=2^{a}$, then we get
$Y^2 =X^3 + 13.$
According to LMFDB, this elliptic curve has no integral solution.
$\bullet n=3b+1$
Let $X=3\cdot3^{b}, Y=3\cdot2^{a}$, then we get
$Y^2 =X^3 + 117.$
This elliptic curve has integral solution $(X,Y)=(3,\pm 12).$
From this solution, we get $(m,n)=(4,1).$
$\bullet n=3b+2$
Let $X=9\cdot3^{b}, Y=9\cdot2^{a}$, then we get
$Y^2 =X^3 + 1053.$
This elliptic curve has integral solutions $(X,Y)=(-9,\pm 18)$, $(27,\pm 144).$
From $(27,\pm 144)$ we get $(m,n)=(8,5).$
Hence there are only two integral solutions $(m,n)=(4,1),(8,5).$
