Use DPLL algorithm to solve SAT problem.

The naive approach does not work due to SAT complexity. DPLL is a simple
but powerful algorithm to reduce the chance of the worst case.
Free decision tree in case of errors.