grime_puzzle.fzn 567 Bytes