Added code that reduces graph k-coloring to SAT