```
include "alldifferent.mzn";
% решает ребус
% KOTKA + KOTKA + KOTKA = SOBAKA

var 1..9: K;
var 1..9: S;
var 0..9: O;
var 0..9: T;
var 0..9: A;
var 0..9: B;

constraint 3*(10000*K + 1000*O + 100*T + 10*K + 1*A) = 100000*S + 10000*O + 1000*B + 100*A + 10*K + 1*A;

constraint alldifferent([K, O, T, A, S, B]);

solve satisfy;

output [" \(K)\(O)\(T)\(K)\(A)*3 =\n",
"= \(S)\(O)\(B)\(A)\(K)\(A)\n"];

```

#minizinc