Prevedba problema barvanja neusmerjenega grafa na  SAT.