If there are very few clauses, clean with confl multiplier set to 1
Set clean conflict multiplier to 2 by default