Implementação do uso do lift and project para o max clique.