satTruth.c 8.91 KB