Adding the flowchart for sat solver