Problem:
Score : 500 points

Problem Statement

Snuke has a string s.
From this string, Anuke, Bnuke, and Cnuke obtained strings a, b, and c, respectively, as follows:

Choose a non-empty (contiguous) substring of s (possibly s itself). Then, replace some characters (possibly all or none) in it with ?s.

For example, if s is mississippi, we can choose the substring ssissip and replace its 1-st and 3-rd characters with ? to obtain ?s?ssip.

You are given the strings a, b, and c.
Find the minimum possible length of s.

Constraints

1 \leq |a|, |b|, |c| \leq 2000

a, b, and c consists of lowercase English letters and ?s.

Input

Input is given from Standard Input in the following format:

a
b
c

Output

Print the minimum possible length of s.

Sample Input 1

a?c
der
cod

Sample Output 1

7

For example, s could be atcoder.

Sample Input 2

atcoder
atcoder
???????

Sample Output 2

7

a, b, and c may not be distinct.

Solution in Python (3.4.3) (judge verdict: Wrong Answer)

def solorder(a, b, c):

    def minpos(x, y):
        i = 0
        j = 0
        res = 0
        while i<len(x) and j<len(y):
            a = x[i]
            b = y[j]
            if a=='?' or b=='?' or a==b:
                i += 1
                j += 1
                continue
            # reset
            j = 0
            b = y[j]
            i1 = x.find(b, res+1)
            if i1 == -1:
                i1 = len(x)
            i2 = x.find('?', res+1)
            if i2 == -1:
                i2 = len(x)
            i = min(i1, i2)
            res = i
        return res

    i = minpos(a, b)
    com = len(a) - i
    ext = max(len(b) - com, 0)
    ab = a + b[-ext:] if ext else a

    i = minpos(ab, c)
    com = len(ab) - i
    ext = max(len(c) - com, 0)
    return len(ab) + ext

def sol(a,b,c):
    return min(solorder(x, y, z) for x, y, z in (
        (a, b, c),
        (a, c, b),
        (b, a, c),
        (b, c, a),
        (c, a, b),
        (c, b, a),
    ))

def main():
    a = input().strip()
    b = input().strip()
    c = input().strip()
    print(sol(a, b, c))

if __name__ == '__main__':
    main()