array [1..3] of int: X_INTRODUCED_0_ = [-1,2,3];
var bool: x1:: output_var;
var bool: x2:: output_var;
var bool: x3:: output_var;

constraint bool_lin_le(X_INTRODUCED_0_,[x1,x2,x3],2);

solve  satisfy;