cs215/unit06/lect03_term_in_coloring_reduced_to_sat.py added