Beyond the structure of SAT formulas