A SAT solver using DPLL algorithm