Solving graph coloring using SAT(3-SAT maybe?)

Question

So, I have an assignment where I need to write some code that solves(or at least tries to solve) a K-Coloring Graph problem using a SAT reduction. Until now we just proved t