Prevajanje problema BARVANJE GRAFA na SAT