eliminate-sat.ll 3.64 KB