  We propose a funny representation of SAT. While the primary interest is to
present propositional satisfiability in a playful way for pedagogical purposes,
it could also inspire new search heuristics.
