int: n; array[1..n] of var 1..2*n: x; include "alldifferent.mzn"; constraint alldifferent(x); solve maximize sum(x); output ["The resulting values are \(x).\n"];