No math proof, but I'd favor a cluster strategy as being faster to force a (partial) solution to existing clues.