satSolver2.c 62.1 KB