对于一个 的排列 ，一个 0 操作表示交换 ，一个 1 操作表示交换 。一个 01 操作序列是好的，当且仅当对于初始排列 ，依次执行每个操作后，得到的排列还是 。
给定一个包含 0,1,?的字符串以及正整数 ，求有多少种把 ? 替换为 0或 1 的方案数，使得该字符串恰好有 个 0 和 个 1，且对应的操作序列是好的。答案对 取模。
0
1
?
第一行：两个正整数 。
第二行：一个长度为 的字符串，由 0,1,? 构成。
一行一个整数，表示答案。
2 4 0??1??
2
共有两种方案，分别为 001111和 011110。
001111
011110
6 10 ???0??????111??1
201
对于所有数据，满足 。