The Use of an Exact Algorithm Within a Tabu Search Maximum Clique Algorithm