d[70],a[4],i=1<<20,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=0;t<31;t++)for(!d[t]?d[t]=9:0,j=4;--j;)!*(p=d+t+(i>>5*j&31))|*p>d[t]?*p=d[t]+1:0;for(t=j=4;j--;t+=d[a[j]]+10);}j=!putchar(m);}