var 1..2: x1 :: output_var;
var 2..2: x2 :: output_var;
var 1..2: x3 :: output_var;

solve :: int_search([x1, x2, x3], input_order, indomain_max) satisfy;