EN
2.9.6
MiniZinc
#32400399