AT_panasonic2020_e Three Substrings

すぬけ君有一个字符串 $s$。あぬけ君、ぶぬけ君、くぬけ君分别通过如下方法获得了字符串 $a$、$b$、$c$。 - 选择 $s$ 的一个非空（可以是整个 $s$）连续子串。将该子串中的若干字符（可以是 $0$ 个，也可以是全部）替换为 `?`。 例如，当 $s$ 为 `mississippi` 时，可以选择子串 `ssissip`，并将第 $1$、$3$ 个字符替换为 `?`，从而得到 `?s?ssip`。 给定字符串 $a$、$b$、$c$，请你求出 $s$ 的可能长度的最小值。

输入以如下格式从标准输入读入。 > $a$ $b$ $c$

输出 $s$ 的可能长度的最小值。

## 限制 - $1 \leq |a|, |b|, |c| \leq 2000$ - $a$、$b$、$c$ 由小写英文字母和 `?` 组成。 ## 样例解释 1 例如，当 $s$ 为 `atcoder` 时，满足条件。 ## 样例解释 2 $a$、$b$、$c$ 不一定互不相同。 由 ChatGPT 4.1 翻译