graph coloring problem using branch and bound