Added DPLL solver which implements provided starting code