Symbol: dpll