solver.py 6.3 KB