crossword_bratko.fzn 8.57 KB