binary_sat_op.inc 4.38 KB