Added the first implementation attemp of the dpll algorithm