ECS 220 2c:5.3-2 NAE-SAT reduces to 3-Coloring

From David Doty