DPLL sedaj skopira formulo, ker jo med izvajanjem briše, mi pa bi jo radi ohranili.