array [1..2] of var int: x :: output_array([1..2]); constraint int_le(0, x[1]); constraint int_le(0, x[2]); constraint int_lin_eq([25, 49], [x[1], x[2]], 2000); solve satisfy;
