An Analysis of the Effect of Community Structure on SAT Solver Performance