Unit Propagation

If you have unit clauses resolve them with everything. This will make the other clauses shorter.

If you instead would first resolve long clauses you either get clauses with the same length or even longer.