First really naive implementation of DPLL (no backjump)