OI 可能无关。

证明：方程组

$\begin{cases}x^6+x^3+x^3y+y=147^{157}\\x^3+x^3y+y^2+y+z^9=157^{147}\end{cases}$

无整数解 $(x,y,z)$.

本人想法是上下相加化为 $(x^3+y+1)^2+z^9=147^{157}+157^{147}+1$ 的形式再进行下一步证明，但是不会了 qwq，故上发帖寻求大佬帮助证明，指点迷津