Delete nadadores_B.fzn