Reduction of 3-SAT to Clique