Pairs of SAT Assignments and Clustering in Random Boolean Formulae, submitted to Theoretical Computer Science (2005), available online at http://arxiv.org/abs/cond-mat/0506053