removing redundents :
MiniSat-p_v1.14 zchaff_enhance