Barvanje in DPLL popravljeni in stestirani. Dela na vseh primerih, pravilno!