Olepsava prevedbe barvanja grafov na SAT.