satChecker.c 5.53 KB