MODEL=amaze3.mzn
DATA=mod2012-03-29.dzn
METHOD=sat
TAGS=challenge2019,amaze
TIMELIMIT=1200