Reducing from 3-COLOR to 3-CNF SAT?
Hint: For each vertex $v$ and color $c$, have a variable $x_{v,c}$ which means "vertex $v$ gets color $c$". Now construct a 3SAT instance that states:


Each vertex gets some color.
Neighboring vertices get different colors.