include "globals.mzn";

array[1..5] of var 0..9: x;

constraint all_different(x);

constraint (10000*x[1]+1000*x[2]+100*x[3]+10*x[4]+x[5])*x[1] = 111111*x[5];

solve satisfy;