Vi reduserer fra 3-CNF-SAT, men dette er ikke kritisk. Kan være hvilket som helst NP problem.