minizinc

Вопрос или проблема определите 2d-массив следующим образом в minizinc : array[1..400,1..400] of var int : en_b ; запустите с Or-tools CP-SAT 9.11 в качестве бэкенда, возникает ошибка с “=====UNKNOWN=====” . PS. 9.11 является стандартной версией