var bool : reif :: output_var;

var 1..7 : x ::output_var;

constraint set_in_reif(x, 1..3, reif);

solve satisfy;