Beginning of dpll