solver.py 11 KB