50_puzzle.fzn 468 Bytes