maj de dpll_test