Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable