update loop so it gets proper clique count...
Also, made program finish once it finds a counterexample