n_puzzle.fzn 221 KB