solver.py 5 KB