Izbrisal problemi-vaje-4-sat.py in popravil dpll za ciste spremenljivke