The Fractal Dimension of SAT Formulas