A SAT-solver based on the Davis Putnam algorithm