AT_abc076_c [ABC076C] Dubious Document 2

E869120 发现了一个看起来装有宝物的箱子。 但是，这个箱子上了锁，要打开它需要一个由小写英文字母组成的字符串 $S$。 他找到了一个字符串 $S'$，并且知道 $S'$ 是将字符串 $S$ 的 $0$ 个或更多、最多 $|S|$ 个字符替换为 `?` 得到的。 这里，$|A|$ 表示字符串 $A$ 的长度。 这时，E869120 找到了一张提示纸条。 - 条件1：字符串 $S$ 中包含一个连续的、由小写英文字母组成的字符串 $T$ 作为子串。 - 条件2：在满足条件1的所有字符串中，$S$ 是字典序最小的字符串。 请输出作为钥匙的字符串 $S$。 如果不存在这样的字符串 $S$，则输出 `UNRESTORABLE`。

输入以以下格式从标准输入给出。 > $S'$ $T$

请输出作为钥匙的字符串 $S$。 如果不存在这样的字符串 $S$，则输出 `UNRESTORABLE`。

## 限制条件 - $1 \leq |S'|, |T| \leq 50$ - $S'$ 由小写英文字母和 `?` 组成 - $T$ 由小写英文字母组成 ## 样例解释 1 满足条件1的字符串有 `atcoder`、`btcoder`、`ctcoder`、...、`ztcoder` 共 $26$ 个，其中字典序最小的是 `atcoder`，因此可以确定 $S = $`atcoder`。 ## 样例解释 2 不存在满足条件1的字符串 $S$，因此不存在作为钥匙的字符串 $S$。 由 ChatGPT 4.1 翻译