Popravljena bool in cnf. Rešeno barvanje grafov.