Construct 3-CNF formulas by reducing them from 3-COLORING instances. Is not done.