Proper figure for DPLL algorithm.