solver.py 21 KB