MODEL=foxgeesecorn.mzn
DATA=foxgeesecorn_13.dzn
METHOD=max
TAGS=challenge2019,fox-geese-corn
TIMELIMIT=1200