Modified the G127 residue remover program, need to write the code to perform random assignments to variables and test where SAT formulas become easy to solve