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

solve :: int_search([x3], input_order, indomain_min) satisfy;