satSolver.c 41.5 KB