#include<bits/stdc++.h>
#define rep(i,m) for(long long i=0; i<m; i++)
#define per(i,m) for(long long i=m-1; i>=0; i--)
#define FOR(i,n,m) for(long long i=n; i<m; i++)
#define ROF(i,n,m) for(long long i=m-1; i>=n; i--)
#define SORT(v,n) do{sort(v,v+n);reverse(v,v+n);}while(0)
#define all(x) (x).begin(),(x).end()
#define F first
#define S second
#define MP make_pair
#define MT make_tuple
#define EPS (1e-7)
#define INF (1e18)
#define PI (acos(-1))
#define dump(x)  cerr << #x << " = " << (x) << endl;
#define debug(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl;
using namespace std;
typedef long long ll;
const ll MOD = 998244353;
typedef pair<int,int> P;
typedef pair<ll,ll> LP;
 
std::ostream &operator<<(std::ostream &dest, __int128_t value) {
  std::ostream::sentry s(dest);
  if (s) {
    __uint128_t tmp = value < 0 ? -value : value;
    char buffer[128];
    char *d = std::end(buffer);
    do {
      --d;
      *d = "0123456789"[tmp % 10];
      tmp /= 10;
    } while (tmp != 0);
    if (value < 0) {
      --d;
      *d = '-';
    }
    int len = std::end(buffer) - d;
    if (dest.rdbuf()->sputn(d, len) != len) {
      dest.setstate(std::ios_base::badbit);
    }
  }
  return dest;
}

ll POW(ll x,ll n){
  x%=MOD;
  if(n==0)return 1;
  if(n%2==0)return POW(x*x,n/2)%MOD;
  return x%MOD*POW(x,n-1)%MOD;
}
 
ll POW2(ll x,ll n){
  if(n==0)return 1;
  if(n%2==0)return POW2(x*x,n/2);
  return x*POW2(x,n-1);
}
 
ll POW3(ll x,ll n,ll m){
  x%=m;
  if(n==0)return 1;
  if(n%2==0)return POW3(x*x,n/2,m)%m;
  return x*POW3(x,n-1,m)%m;
}
 
ll gcd(ll u, ll v) {
  ll r;
  while (0 != v) {
    r = u % v; u = v; v = r;
  }
  return u;
}
 
ll lcm(ll u, ll v) {
  return u/gcd(u,v)*v;
}
 
ll KAI(ll m)
{
  if(m<0) return 0;
  if(m==0) return 1;
  return m*KAI(m-1)%MOD;
}
 
ll KAI2(ll m)
{
  if(m<0) return 0;
  if(m==0) return 1;
  return m*KAI2(m-1);
}
 
ll extGCD(ll a, ll b, ll &x, ll &y) {
    if (b == 0) {
        x = 1;
        y = 0;
        return a;
    }
    ll d = extGCD(b, a%b, y, x);
    y -= a / b * x;
    return d;
}
 
inline ll mod(ll a, ll m) {
    return (a % m + m) % m;
}
 
ll modinv(ll a) {
    ll x, y;
    extGCD(a, MOD, x, y);
    return mod(x, MOD);
}
 
ll COM(ll m,ll n)
{
  if(m<n) return 0;
  if(n<0) return 0;
  if(n==0) return 1;
  if(m==n) return 1;
  return m*modinv(n)%MOD*COM(m-1,n-1)%MOD;
}
 
ll COM2(ll m,ll n)
{
  if(m<n) return 0;
  if(n<0) return 0;
  if(n==0) return 1;
  if(m==n) return 1;
  return KAI2(m)/KAI2(n)/KAI2(m-n);
}
 
ll DEC(ll x,ll m,ll n)//xのm進数でのx^nの位の値
{
  //if(m==2){
    //if(x&(1<<n))return 1;
    //else return 0;
  //}
  return x%POW2(m,n+1)/POW2(m,n);
}
 
ll keta(ll x,ll n)//xのn進数での桁数
{
  if(x==0)return 0;
  return keta(x/n,n)+1;
}
 
ll DIV(ll x,ll n)//x!のnで割り切れる回数
{
  if(x==0)return 0;
  return x/n+DIV(x/n,n);
}
 
ll ORD(ll x,ll n)//xのnで割り切れる回数
{
  if(x==0)return INF;
  if(x%n!=0)return 0;
  return 1+ORD(x/n,n);
}
 
ll SUP(ll x,ll n)//xのnで割れなくなるまで割ったときの余り
{
  if(x==0)return 0;
  if(x%n!=0)return x;
  return SUP(x/n,n);
}
 
ll DigSum(ll n)//10進数での桁和
{
  if(n==0)return 0;
  return n%10+DigSum(n/10);
}
 
ll SGS(ll x,ll y, ll m)//1+x+…+x^(y-1)をmで割った余り
{
  if(y==0)return 0;
  if(y%2==0){
    return (1+POW3(x,y/2,m))*SGS(x,y/2,m)%m;
  }
  return (1+x*SGS(x,y-1,m))%m;
}
 
ll SSGS(ll x,ll y,ll m)//Σ[k=1→y](1+x+…+x^(k-1))をmで割った余り
{
  if(y==0)return 0;
  if(y==1)return 1;
  if(y%2==0){
    return (SSGS(x,y/2,m)*(POW3(x,y/2,m)+1)%m+SGS(x,y/2,m)*y/2%m)%m;
  }
  return (SSGS(x,y-1,m)*x%m+y)%m;
}
 
void shuffle(ll array[], ll size) {
    for(ll i = 0; i < size; i++) {
        ll j = rand()%size;
        ll t = array[i];
        array[i] = array[j];
        array[j] = t;
    }
}
 
ll SQRT(ll n){
  ll ok,ng,mid;
  ng=n+1;
  if(303700500<ng)ng=303700500;
  ok=0;
  while(abs(ok-ng)>1){
    mid=(ok+ng)/2;
    if(mid*mid<=n){
      ok=mid;
    }
    else{
      ng=mid;
    }
  }
  return ok;
}
 
struct UnionFind
{
  vector<int> par;
  vector<int> sizes;
  UnionFind(int n) : par(n), sizes(n, 1) {
    rep(i,n) par[i] = i;
  }
  int find(int x) {
    if (x == par[x]) return x;
    return par[x] = find(par[x]);
  }
  void unite(int x, int y) {
    x = find(x);
    y = find(y);
    if (x == y) return;
    if (sizes[x] < sizes[y]) swap(x, y);
    par[y] = x;
    sizes[x] += sizes[y];
  }
  bool same(int x, int y) {
    return find(x) == find(y);
  }
  int size(int x) {
    return sizes[find(x)];
  }
};
 
map< int64_t, int > prime_factor(int64_t n) {
  map< int64_t, int > ret;
  for(int64_t i = 2; i * i <= n; i++) {
    while(n % i == 0) {
      ret[i]++;
      n /= i;
    }
  }
  if(n != 1) ret[n] = 1;
  return ret;
}
 
bool is_prime(int64_t x) {
  if(x==1)return false;
  for(int64_t i = 2; i * i <= x; i++) {
    if(x % i == 0) return false;
  }
  return true;
}
 
struct edge{ll to, cost;};
struct graph{
  ll V;
  vector<vector<edge> > G;
  vector<ll> d;
 
  graph(ll n){
    init(n);
  }
 
  void init(ll n){
    V = n;
    G.resize(V);
    d.resize(V);
    rep(i,V){
      d[i] = INF;
    }
  }
 
  void add_edge(ll s, ll t, ll cost){
    edge e;
    e.to = t, e.cost = cost;
    G[s].push_back(e);
  }
 
  void dijkstra(ll s){
    rep(i,V){
      d[i] = INF;
    }
    d[s] = 0;
    priority_queue<LP,vector<LP>, greater<LP> > que;
    que.push(LP(0,s));
    while(!que.empty()){
      LP p = que.top(); que.pop();
      ll v = p.second;
      if(d[v]<p.first) continue;
      for(auto e : G[v]){
        if(d[e.to]>d[v]+e.cost){
          d[e.to] = d[v]+e.cost;
          que.push(LP(d[e.to],e.to));
        }
      }
    }
  }
};
 
ll d[410][410];
 
void warshall_floyd(ll n){  
  rep(i,n)rep(j,n)rep(k,n)d[j][k]=min(d[j][k],d[j][i]+d[i][k]);
}
 
struct bit{
  ll m;
  vector<ll> b;
  bit(ll i){
    m=i;
    b.resize(m+1);
  }
  ll num(ll i){
    return b[i];
  }
  ll sum(ll i){
    ll s=0;
    while(i>0){ 
      s+=b[i];
      i-=i&-i;
    }
    return s;
  }
  void add(ll i, ll x){
    while(i<=m){
      b[i]+=x;
      i+=i&-i;
    }
  }
};

struct Segtree{
  ll N=1;
  ll elem;
  vector<ll> value;
  ll calc(ll s,ll t){
    return s|t; //演算
  }
  Segtree(ll n,ll Elem){
    elem=Elem;
    while(N<n)N*=2;
    value.assign(2*N-1,elem);
  }
  void update(ll i,ll x) {
    i+=N-1;
    value[i]=x;
    while(i>0){
      i=(i-1)/2;
      value[i]=calc(value[i*2+1],value[i*2+2]);
    }
  }
  ll query(ll a,ll b,ll k,ll l,ll r){
    if(r<=a||b<=l)return elem;
    if(a<=l&&r<=b)return value[k];
    else{
      ll c1=query(a,b,2*k+1,l,(l+r)/2);
      ll c2=query(a,b,2*k+2,(l+r)/2,r);
      return calc(c1,c2);
    }
  }
  ll find(ll s,ll t){
    return query(s,t+1,0,0,N);
  }
};

int main(){
  ll ab[100000]={},ac[100000]={},ba[100000]={},bc[100000]={},ca[100000]={},cb[100000]={};
  string a,b,c;
  ll x,y,z,ans=INF;
  cin >> a >> b >> c;
  x=a.size();
  y=b.size();
  z=c.size();
  ans=x+y+z;
  rep(i,x)ab[i]=1;
  rep(i,x)ac[i]=1;
  rep(i,y)ba[i]=1;
  rep(i,y)bc[i]=1;
  rep(i,z)ca[i]=1;
  rep(i,z)cb[i]=1;
  rep(i,x){
    rep(j,min(i+1,y)){
      if(b[j]!=a[j+x-i-1]&&b[j]!='?'&&a[j+x-i-1]!='?')ab[i]=0;
    }
    rep(j,min(i+1,z)){
      if(c[j]!=a[j+x-i-1]&&c[j]!='?'&&a[j+x-i-1]!='?')ac[i]=0;
    }
  }
  rep(i,y){
    rep(j,min(i+1,x)){
      if(a[j]!=b[j+y-i-1]&&a[j]!='?'&&b[j+y-i-1]!='?')ba[i]=0;
    }
    rep(j,min(i+1,z)){
      if(c[j]!=b[j+y-i-1]&&c[j]!='?'&&b[j+y-i-1]!='?')bc[i]=0;
    }
  }
  rep(i,z){
    rep(j,min(i+1,x)){
      if(a[j]!=c[j+z-i-1]&&a[j]!='?'&&c[j+z-i-1]!='?')ca[i]=0;
    }
    rep(j,min(i+1,y)){
      if(b[j]!=c[j+z-i-1]&&b[j]!='?'&&c[j+z-i-1]!='?')cb[i]=0;
    }
  }
  rep(i,x)if(ab[i])ans=min(ans,max({x+y+z-i-1,x+z,y+z}));
  rep(i,x)if(ac[i])ans=min(ans,max({x+y+z-i-1,x+y,y+z}));
  rep(i,y)if(ba[i])ans=min(ans,max({x+y+z-i-1,x+z,y+z}));
  rep(i,y)if(bc[i])ans=min(ans,max({x+y+z-i-1,x+y,x+z}));
  rep(i,z)if(ca[i])ans=min(ans,max({x+y+z-i-1,x+y,y+z}));
  rep(i,z)if(cb[i])ans=min(ans,max({x+y+z-i-1,x+z,y+x}));
  rep(i,x){
    rep(j,y){
      if((i+j-y+1<0||ac[i+j-y+1]==1)&&ab[i]==1&&bc[j]==1)ans=min({ans,max({x,x+y-i-1,x+y+z-i-j-2})});
    }
  }
  rep(i,x){
    rep(j,z){
      if((i+j-z+1<0||ab[i+j-z+1]==1)&&ac[i]==1&&cb[j]==1)ans=min({ans,max({x,x+z-i-1,x+y+z-i-j-2})});
    }
  }
  rep(i,y){
    rep(j,x){
      if((i+j-x+1<0||bc[i+j-x+1]==1)&&ba[i]==1&&ac[j]==1)ans=min({ans,max({y,y+x-i-1,x+y+z-i-j-2})});
    }
  }
  rep(i,y){
    rep(j,z){
      if((i+j-z+1<0||ba[i+j-z+1]==1)&&bc[i]==1&&ca[j]==1)ans=min({ans,max({y,z+y-i-1,x+y+z-i-j-2})});
    }
  }
  rep(i,z){
    rep(j,x){
      if((i+j-x+1<0||cb[i+j-x+1]==1)&&ca[i]==1&&ab[j]==1)ans=min({ans,max({z,x+z-i-1,x+y+z-i-j-2})});
    }
  }
  rep(i,z){
    rep(j,y){
      if((i+j-y+1<0||ca[i+j-y+1]==1)&&cb[i]==1&&ba[j]==1)ans=min({ans,max({z,z+y-i-1,x+y+z-i-j-2})});
    }
  }
  rep(i,x){
    rep(j,i){
      if(i-j>=y&&ab[i]==1&&ac[j]==1)ans=min({ans,max({x,x+z-j-1})});
      if(i-j>=z&&ac[i]==1&&ab[j]==1)ans=min({ans,max({x,x+y-j-1})});
    }
  }
  rep(i,y){
    rep(j,i){
      if(i-j>=x&&ba[i]==1&&bc[j]==1)ans=min({ans,max({y,z+y-j-1})});
      if(i-j>=z&&bc[i]==1&&ba[j]==1)ans=min({ans,max({y,x+y-j-1})});
    }
  }
  rep(i,z){
    rep(j,i){
      if(i-j>=x&&ca[i]==1&&cb[j]==1)ans=min({ans,max({z,y+z-j-1})});
      if(i-j>=y&&cb[i]==1&&ca[j]==1)ans=min({ans,max({z,z+x-j-1})});
    }
  }
  printf("%lld",ans);
}


Measured memory_bytes: 4992