-added SAT_brute_force
-finished DPLL algorithm (basic)