Solving a K-coloring problem with SAT