mango_puzzle.fzn 409 Bytes