Code Editor : sat_arith.h