satChecker.c 5.55 KB