calvin_puzzle.fzn 101 KB