```python def sat(x: int): """Find an integer x such that the sum of the digits of x squared equals x.""" return sum(int(d) for d in str(x ** 2)) == x ``` Solvers, post your solutions in the comments using the following formatting: ```` <details><summary>Reveal solution</summary> ```python def sol(): return 9 # replace with your solution ``` </details> ````
Solvers, post your solutions in the comments using the following formatting: