solver.c 22 KB