Checking in visualization for SAT , Clique and their reduction