var 1..4: x :: output_var;

constraint set_in(x, {1, 3});

solve satisfy;