2CNF avec 3 événements variables

Question

Si nous n'autorisons pas les clauses unitaires, le 2CNF contenant 3 événements par variable peut-il être insatisfaisant?

Chaque fois que j'essaie de connecter des variables opposées à un cycle, je dois dessiner 4 bords pour au moins une variable (2 par occurrence positive et négative).

Alors, est-ce même possible?