/* SS */

d(0).
d(1).
d(2).
d(3).
d(4).
d(5).
d(6).
d(7).
d(8).
d(9).
solve(S, E, N, D, M, O, R, Y) :-
  d(S),
  S > 0,
  d(E), S \= E,
  d(N), S \= N, E \= N,
  d(D), S \= D, E \= D, N \= D,
  d(M),
  M > 0,
  S \= M, E \= M, N \= M, D \= M,
  d(O), S \= O, E \= O, N \= O, D \= O, M \= O,
  d(R), S \= R, E \= R, N \= R, D \= R, M \= R, O \= R,
  d(Y), S \= Y, E \= Y, N \= Y, D \= Y, M \= Y, O \= Y, R \= Y,
  1000*S + 100*E + 10*N + D + 1000*M + 100*O + 10*R + E =:= 10000*M + 1000*O + 100*N + 10*E + Y,
  format('~w~w~w~w + ~w~w~w~w = ~w~w~w~w~w~n', [S,E,N,D,M,O,R,E,M,O,N,E,Y]),
  fail.
