satChecker.c 5.46 KB