j02000. 最短公共超序列·还原 未做

给定两个小写字母串 $s_1$、$s_2$，最短公共超序列是同时包含 $s_1$ 与 $s_2$ 作为子序列的最短字符串。输出其长度，并输出字典序最小的一个这样的串（数据保证存在；若最短超序列不唯一，输出字典序最小的）。

两行，各一个字符串 $s_1$、$s_2$。

第一行一个整数（长度）；第二行一个字符串（该超序列）。

• 对 30% 的数据，|$s_1$|, |$s_2$| $\le$ 12（无记忆化搜索可过）。
• 对 100% 的数据，|$s_1$|, |$s_2$| $\le$ 1000。