Added backtracking-based sln for graph coloring