As its applicable to all discrete Problems (think of Sudoku), its a really neat skill to have.

Reductions are pretty easy to write and modern SAT solvers are crazy fast.