Renaming for CNF formulas may help to improve DPLL algorithm.

• 研究CNF公式的改名有助于改进DPLL算法.