implemented the naive Solver for coloring problem