Script om GC te vertalen naar SAT op basis van "CS395T Reducing Graph Coloring to SAT"