graph coloring problem - backtracking