10. DPLL-T.pdf