Delete coloracao_vertices02.fzn