Ребус: VOLVO+FIAT=MOTOR, используя тип "Множество" - PascalABC.NET

Формулировка задачи:

Ребус: VOLVO+FIAT=MOTOR. Каждая буква – это цифра, разным буквам соответствуют разные цифры. Необходимо заменить буквы цифрами так, чтобы получилось верное равенство. Найти все решения (если есть несколько ). ИСПОЛЬЗОВАТЬ ТИП «МНОЖЕСТВО». помогите, пожалуйста отыскать ошибку в коде (или предложите свой вариант решения). Моя программа ошибки не выдает, но и решения тоже (а их должно быть 10 шт.).

Program Rebus;// VOLVO + FIAT= MOTOR
Type
  MN = set of 0..9;
Var
  f,i,a,t,v,o,l,m,r : 0..9;
  S1, S2, S3 : MN;{для хранения цифр каждого из чисел}
  sum,motor:longint;
Begin
  S1 := [ ];
  S2 := [ ];
  s3 := [ ];
  for v := 1 to 9 do
  begin
    S1 := S1+[v];
    for o := 0 to 9 do
      if Not(o in S1) then
      begin
        S1 := S1+[o];
        for l := 0 to 9 do
          if Not (l in S1) then
          begin 
            S1 := S1+[l];                    
            for f:=0 to 9 do 
            begin
              S2 := S2+[f];
                for i :=0 to 9 do
                  if Not(i in S2) then
                  begin
                    S2 := S2+[i];
                    for a := 0 to 9 do
                      if Not (a in S2) then
                      begin 
                        S2 := S2+[a];      
                          for t:=0 to 9 do
                            if Not (t in S2) then
                              begin
                                s2:=s2+[t];
                                for m:=1 to 9 do 
                                begin
                                  S3 := S3+[m];                  
                                  for r:=0 to 9 do
                                    if Not (r in S3) then
                                    begin
                                      s3:=s3+[r];              
                                      sum:=10000*v+1000*(o+f)+100*(l+i)+10*(v+a)+(o+t);
                                      motor:=10000*m+1000*o+100*t+10*o+r;
                                      if sum=motor then
                                        if (s1*s2=[ ]) and (s2*s3=[t])and (s1*s3=[o])then
                                          writeln(v,o,l,v,o,'+',f,i,a,t,'=',m,o,t,o,r);
                                      s3:=s3-[r];
                                    end;
                                    s3:=s3-[m];
                                end;
                                s2:=s2-[t];
                              end;
                        s2:=s2-[a];
                      end;
                    s2:=s2-[i];
                  end;
               s2:=s2-[f];
            end;
            s1:=s1-[l]; 
          end;
          s1:=s1-[o];
      end;
    s1:=s1-[v];
  end;
  Readln;
End.

Решение задачи: «Ребус: VOLVO+FIAT=MOTOR, используя тип "Множество"»

textual
                            Листинг программы 
                        

                            type
  mn = 0..9;
 
const
  d: set of mn = [0..9];
 
var
  v, o, l, f, i, a, t, m, r: mn;
 
begin
  writeln('VOLVO+FIAT=MOTOR');
  for v in d - [0] do
    for o in d - [v] do
      for l in d - [v, o] do
        for f in d - [0, v, o, l] do
          for i in d - [v, o, l, f] do
            for a in d - [v, o, l, f, i] do
              for t in d - [v, o, l, f, i, a] do
                for m in d - [0, v, o, l, f, i, a, t] do
                  for r in d - [v, o, l, f, i, a, t, m] do
                    if ((((v*10+o+f)*10+l+i)*10+v+a)*10+o+t = (((m*10+o)*10+t)*10+o)*10+r)
                      then writeln(v, o, l, v, o, '+', f, i, a, t, '=', m, o, t, o, r);
  readln
end.
                        