satSolver.c 35.8 KB