var set of 1..5: s :: output_var = {1, 3};
var 3..3: val :: output_var = 3;
solve satisfy;