Αποστολή με SMS: Cliques, coloring, and satisfiability