array [1..2] of int: X_INTRODUCED_0 = [1,-1];
var 1..3: wa:: output_var;
var 1..3: nt:: output_var;
constraint int_lin_ne(X_INTRODUCED_0,[wa,nt],0);
solve  satisfy;