remainder_puzzle2.fzn 268 Bytes