solver.c 22.2 KB