#include<bits/stdc++.h>
//ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
//clock_t start=clock();clock_t end=clock();cout<<(double)(end-start)/CLOCKS_PER_SEC<<endl;
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef unsigned int ui;
typedef pair<int,int> pii;
typedef pair<pii,int> ppii;
typedef pair<int,pii> pipi;
typedef pair<ll,ll> pll;
typedef pair<pll,ll> ppll;
typedef pair<ll,pll> plpl;
typedef tuple<ll,ll,ll> tl;
typedef pair<double,double> pdd;
typedef vector<vector<ll>> mat;
ll mod=1000000007;
ll mod2=998244353;
ll mod3=1000003;
ll mod4=998244853;
ll mod5=1000000009;
ll inf=1LL<<60;
double pi=3.141592653589793238462643383279L;
double eps=1e-8;
#define rep(i,m,n) for(int i=m;i<n;i++)
#define rrep(i,n,m) for(int i=n;i>=m;i--)
#define srep(itr,st) for(auto itr=st.begin();itr!=st.end();itr++)
#define mrep(itr,mp) for(auto itr=mp.begin();itr!=mp.end();itr++)
#define Max(a,b) a=max(a,b)
#define Min(a,b) a=min(a,b)
int dh[4]={1,-1,0,0};
int dw[4]={0,0,1,-1};
int ddh[8]={-1,-1,-1,0,0,1,1,1};
int ddw[8]={-1,0,1,-1,1,-1,0,1};
ll gcd(ll a,ll b){
    if(a<b)swap(a,b);
    if(b==0)return a;
    if(a%b==0)return b;
    return gcd(b,a%b);
}
ll Pow(ll n,ll k){
    ll ret=1;
    ll now=n;
    while(k>0){
        if(k&1)ret*=now;
        now*=now;
        k/=2;
    }
    return ret;
}
ll beki(ll n,ll k,ll md){
  ll ret=1;
  ll now=n;
  while(k>0){
    if(k%2==1){
      ret*=now;
      ret%=md;
    }
    now*=now;
    now%=md;
    k/=2;
  }
  return ret;
}
ll gyaku(ll n,ll md){
  return beki(n,md-2,md);
}
ll popcount(ll n){
    ll ret=0;
    ll u=n;
    while(u>0){
        ret+=u%2;
        u/=2;
        
    }
    return ret;
}
int main(){
    ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
    string a,b,c;cin>>a>>b>>c;
    bool ab[6010],ba[6010],ac[6010],ca[6010],bc[6010],cb[6010];
    fill(ab,ab+6010,true);
    rep(i,0,a.size()+1){
        rep(j,0,b.size()){
            if(j+i>=a.size())break;
            if(a[j+i]=='?'||b[j]=='?')continue;
            if(a[j+i]!=b[j]){
                ab[i]=false;
                break;
            }
        }
    }
    fill(ba,ba+6010,true);
    rep(i,0,b.size()+1){
        rep(j,0,a.size()){
            if(j+i>=b.size())break;
            if(b[j+i]=='?'||a[j]=='?')continue;
            if(b[j+i]!=a[j]){
                ba[i]=false;
                break;
            }
        }
    }
    fill(ac,ac+6010,true);
    rep(i,0,a.size()+1){
        rep(j,0,c.size()){
            if(j+i>=a.size())break;
            if(a[j+i]=='?'||c[j]=='?')continue;
            if(a[j+i]!=c[j]){
                ac[i]=false;
                break;
            }
        }
    }
    fill(ca,ca+6010,true);
    rep(i,0,c.size()+1){
        rep(j,0,a.size()){
            if(j+i>=c.size())break;
            if(c[j+i]=='?'||a[j]=='?')continue;
            if(c[j+i]!=a[j]){
                ca[i]=false;
                break;
            }
        }
    }
    fill(bc,bc+6010,true);
    rep(i,0,b.size()+1){
        rep(j,0,c.size()){
            if(j+i>=b.size())break;
            if(b[j+i]=='?'||c[j]=='?')continue;
            if(b[j+i]!=c[j]){
                bc[i]=false;
                break;
            }
        }
    }
    fill(cb,cb+6010,true);
    rep(i,0,c.size()+1){
        rep(j,0,b.size()){
            if(j+i>=c.size())break;
            if(c[j+i]=='?'||b[j]=='?')continue;
            if(c[j+i]!=b[j]){
                cb[i]=false;
                break;
            }
        }
    }
    int ans=1000000000;
    rep(i,0,a.size()+1){
        if(ab[i]==false)continue;
        int le=b.size()+i;
        rep(j,i,max(le+1,(int)a.size()+1)){
            if(bc[j-i]&&ac[j]){
                int u=max(a.size(),b.size()+i);
                Max(u,(int)c.size()+j);
                Min(ans,u);
            }
        }
    }
    rep(i,0,a.size()+1){
        if(ac[i]==false)continue;
        int le=c.size()+i;
        rep(j,i,max(le+1,(int)a.size()+1)){
            if(cb[j-i]&&ab[j]){
                int u=max(a.size(),c.size()+i);
                Max(u,(int)b.size()+j);
                Min(ans,u);
            }
        }
    }
    rep(i,0,b.size()+1){
        if(ba[i]==false)continue;
        int le=a.size()+i;
        rep(j,i,max(le+1,(int)b.size()+1)){
            if(ac[j-i]&&bc[j]){
               int u=max(b.size(),a.size()+i);
               Max(u,(int)c.size()+j);
               Min(ans,u);
            }
        }
    }
    rep(i,0,b.size()+1){
        if(bc[i]==false)continue;
        int le=c.size()+i;
        rep(j,i,max(le+1,(int)b.size()+1)){
            if(ca[j-i]&&ba[j]){
                int u=max(b.size(),c.size()+i);
                Max(u,(int)a.size()+j);
                Min(ans,u);
            }
        }
    }
    rep(i,0,c.size()+1){
        if(ca[i]==false)continue;
        int le=a.size()+i;
        rep(j,i,max(le+1,(int)c.size()+1)){
            if(ab[j-i]&&cb[j]){
                int u=max(c.size(),a.size()+i);
                Max(u,(int)b.size()+j);
                Min(ans,u);
            }
        }
    }
    rep(i,0,c.size()+1){
        if(cb[i]==false)continue;
        int le=b.size()+i;
        rep(j,i,max(le+1,(int)c.size()+1)){
            if(ba[j-i]&&ca[j]){
                int u=max(c.size(),b.size()+i);
                Max(u,(int)a.size()+j);
                Min(ans,u);
            }
        }
    }
    cout<<ans<<endl;
}





Measured memory_bytes: 256