We prove rigourously that the solutions of many random 
constraint satisfaction problems near threshold organize 
into disjoint clusters. In addition we show there is 
spatial mixing within each cluster.