solver.py 19 KB