Text this: Cliques, coloring, and satisfiability