Getting the clique number of a graph