d[70],a[4],i=4e4,j,m=57,*p;main(t){for(;~scanf("%d",a+j++););for(;--i;m>t?m=t:0){for(t=70;t--;d[t]=!t);for(;t++<30;)for(d[t]+=9*!d[t],j=3;j--;)!*(p=d+t+(i>>5*j&31))|*p>d[t]?*p=d[t]+1:0;for(;j++<3;t+=d[a[j]]+3);}j=!putchar(m);}