Problem:
Problem F: City Merger

Recent improvements in information and communication technology have made it possible to provide municipal service to a wider area more quickly and with less costs. Stimulated by this, and probably for saving their not sufficient funds, mayors of many cities started to discuss on mergers of their cities.

There are, of course, many obstacles to actually put the planned mergers in practice. Each city has its own culture of which citizens are proud. One of the largest sources of friction is with the name of the new city. All citizens would insist that the name of the new city should have the original name of their own city at least as a part of it. Simply concatenating all the original names would, however, make the name too long for everyday use.

You are asked by a group of mayors to write a program that finds the shortest possible name for the new city that includes all the original names of the merged cities. If two or more cities have common parts, they can be overlapped. For example, if "FUKUOKA", "OKAYAMA", and "YAMAGUCHI" cities are to be merged, "FUKUOKAYAMAGUCHI" is such a name that include all three of the original city names. Although this includes all the characters of the city name "FUKUYAMA" in this order, it does not appear as a consecutive substring, and thus "FUKUYAMA" is not considered to be included in the name.

Input

The input is a sequence of datasets. Each dataset begins with a line containing a positive integer n (n ≤ 14), which denotes the number of cities to be merged. The following n lines contain the names of the cities in uppercase alphabetical letters, one in each line. You may assume that none of the original city names has more than 20 characters. Of course, no two cities have the same name.

The end of the input is indicated by a line consisting of a zero.

Output

For each dataset, output the length of the shortest possible name of the new city in one line. The output should not contain any other characters.

Sample Input

3
FUKUOKA
OKAYAMA
YAMAGUCHI
3
FUKUOKA
FUKUYAMA
OKAYAMA
2
ABCDE
EDCBA
4
GA
DEFG
CDDE
ABCD
2
ABCDE
C
14
AAAAA
BBBBB
CCCCC
DDDDD
EEEEE
FFFFF
GGGGG
HHHHH
IIIII
JJJJJ
KKKKK
LLLLL
MMMMM
NNNNN
0

Output for the Sample Input

16
19
9
9
5
70

Solution in C++11 (judge verdict: Wrong Answer)

//Name: City Merger
//Level:
//Category:
//Note:

#include <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>
#include <string>
#include <array>
#include <map>
#include <set>
#include <queue>
#include <unordered_map>

using namespace std;

#define TIMES(i,n) for(int i = 0; i < (n); ++i)

struct H {
    size_t operator()(const pair<int,int> &p) const {
        return p.first * 100 + p.second;
    }
};

bool solve() {
    int N;
    cin >> N;
    if(!N) return false;

    vector<string> cities;
    TIMES(_, N) {
        string s;
        cin >> s;
        if(any_of(cities.begin(), cities.end(), [&s](const string &str) {
                    return str.find(s) != string::npos;
                    })) continue;
        cities.erase(remove_if(cities.begin(), cities.end(), [&s](const string &str) {
                    return s.find(str) != string::npos;
                    }), cities.end());
        cities.push_back(s);
next:
        ;
    }
    const int M = cities.size();
    vector<vector<int>> merged_len(M, vector<int>(M, 0));
    TIMES(i, M) {
        const string &s1 = cities[i];
        TIMES(j, M) {
            const string &s2 = cities[j];
            const int lim = min(s1.size(), s2.size());
            merged_len[i][j] = s2.size();
            for(int l = lim; l > 0; --l) {
                const string tail = s1.substr(s1.size()-l, l);
                const string head = s2.substr(0, l);
                if(tail == head) {
                    merged_len[i][j] -= l;
                    break;
                }
            }
        }
    }
    unordered_map<pair<int,int>,int,H> memo;
    priority_queue<pair<int,pair<int,int>>> q;
    TIMES(i, M) {
        q.push(make_pair(-(int)cities[i].size(), make_pair(1<<i, i)));
        memo[q.top().second] = -q.top().first;
    }
    int ans = 0;
    while(!q.empty()) {
        const int len = -q.top().first;
        const int used = q.top().second.first;
        const int last = q.top().second.second;
        q.pop();
        if(used == (1<<M)-1) {
            ans = len;
            break;
        }
        if(memo[make_pair(used, last)] < len) continue;
        //cout << len << ' ' << used << ' ' << last << endl;
        TIMES(i, M) {
            if(used & (1<<i)) continue;
            const int nlen = len + merged_len[last][i];
            const auto ntag = make_pair(used | (1<<i), i);
            if(memo.count(ntag) == 0 || memo[ntag] > nlen) {
                memo[ntag] = nlen;
                q.push(make_pair(-nlen, ntag));
            }
        }
    }
    cout << ans << endl;
    return true;
}

int main() {
    cin.tie(0);
    ios::sync_with_stdio(0);

    while(solve()) ;
    return 0;
}