Solve the following equation system over the real numbers $$\begin{cases} x(1-\log_{10}(5))=\log_{10}(11-3^y)\\ \log_{10}(35-4^x)=y\log_{10}(9) \\ \end{cases} $$
For the functions in the above relations to be well defined, I've determined that $0<x<\log_4(35)$ and $0<y<\log_3(11)$. I also know that each of the equations(taken separately by itself) has exactly one solution because of their monotonicity (in each case one is strictly increasing and the other is strictly decreasing, so they can't have more than one intersection.)
By substituting $(1-\log_{10}(5))$ with $\log_{10}(2)$ in the first equation the unique solution for it is found to be $x=\log_2(11-3^y).$
I've tried to proceed further but to no avail and come here looking for help; I think that there is no real solution to the system but haven't been able to prove it.