Cliques, Coloring, and Satisfiability