看到M<=10就应该很清楚的发现，暴力枚举合法的可以删除的字符即可。

通过预处理，我们可以知道每一个*被消除需要几种字符，代入合法的字符，若可行，直接输出yes

若枚举的全部情况都不行，直接输出no

复杂度为O(Tn2^m)可以通过