Sem nenhuma cor fixada, o AC-3 não remove nada. Com três valores em todos os domínios, todo valor sempre encontra um parceiro diferente do outro lado. A propagação só tem o que fazer depois que alguma variável é decidida, e é por isso que ela vive dentro da busca, no MAC, em vez de substituí-la. Use o cenário da aula (WA vermelho, Q verde, VIC azul) para ver o domínio de SA esvaziar.