#include<stdio.h>
main()
{  char c;
   int i,max,a[37],state;
   max=2;state=0;
   c=getchar();
   for(i=0;i<37;i++)a[i]=0;
   while((c>=48&&c<=57)||(c>=65&&c<=90))
     {  if(c>=48&&c<=57)
    {c=c-'0';
     if(c>max)max=c;
    for(i=max;i<=36;i++)
      {  a[i]=(a[i]*i+c)%(i-1); }
       c=getchar(); }
    else{c=c-55;
     if(c>max)max=c;
    for(i=max;i<=36;i++)
      {  a[i]=(a[i]*i+c)%(i-1); }
       c=getchar();} }
  for(i=max+1;i<37;i++)
    if(!a[i]){printf("%d",i); state=1;break;}
  if(!state)printf("No solution");

  }