sat_arithmetic.c 5.29 KB