array [1..3] of var int: x :: output_array([1..3]);
constraint int_le(0, x[1]);
constraint int_le(0, x[2]);
constraint int_le(0, x[3]);
constraint int_le(x[1], 9);
constraint int_le(x[2], 9);
constraint int_le(x[3], 1345);
constraint int_lin_eq([10000, 1, -72], [x[1], x[2], x[3]], -6790);
solve minimize x[3];