某种语言，它由大小写英文字母拼出的单词组成，但它还存在一种后缀转换的系统。 后缀转换系统一共有 个元件，这些元件是已知的，一个元件包括两个等长的字符串 。
如果一个单词的后缀为 ，这个元件就可以将这个单词的后缀 变为 ，从而形成一个新的单词。 现在你手上有两个等长的字符串 ，你需要知道至少经过多少次后缀转换可以变字符串 变为 。
每个测试数据含多组数据
第一行包含两个字符串 ，以及一个整数 ，意义如上所述。
第二行至第 行每行包括两个字符串 ，表示一个元件。
整个测试以 . 结束。
.
对于一组数据，输出这组的数据编号及最小步数，如果无法转换，就输出 No Solution。
No Solution
AA BB 4 A B AB BA AA CC CC BB A B 3 A C B C c B .
Case 1: 2 Case 2: No solution
对于 的数据，，。
