very simple dpll solver