Solvers.py 56 bytes