var 1..3: x :: output_var;
var 1..3: y :: output_var;

constraint int_lt(x, y);

solve satisfy;