Popravek DPLL, updatan readme, dodani še večji primeri, ki bolj pokažejo učinkovitost solverja.