Delete coloracao_vertices01.fzn