a_puzzle.fzn 1.35 KB