czech_logical_labyrinth.fzn 196 KB