MODEL=zephyrus.mzn
DATA=12__10__8__3.dzn
METHOD=min
TAGS=challenge2019,zephyrus
TIMELIMIT=1200