Initial Code for DPLL