#include<iostream>
using namespace std;
inline void Max(int &x,int y)
{
	x=x>y?x:y;
}
int T,n,m,Q,B;
char s[5010];
inline bool judge(int k)
{
	static int f[5010][5010];
	for(int i=1;i<=m;i++)
	{
		for(int j=0;j<=k;f[i][j++]=-1);
	}
	if(k==n)
	{
		f[1][Q]=B;
	}
	for(int i=1,q=Q,b=B,j=0;i<=m;i++)
	{
		if(j<k-n-1)
		{
			if(b)
			{
				b--,j++;
				q+=(s[i]=='Q');
				b+=(s[i]=='B');
				i++;
				q+=(s[i]=='Q');
				b+=(s[i]=='B');
				continue;
			}
			if(q)
			{
				q--;
				q+=(s[i]=='Q');
				b+=(s[i]=='B');
				continue;
			}
			return 0;
		}
		if(k>n&&b)
		{
			if(i+2>m)
			{
				return 1;
			}
			f[i+2][q+(s[i]=='Q')+(s[i+1]=='Q')]
			=b-1+(s[i]=='B')+(s[i+1]=='B');
		}
		if(q)
		{
			q--;
			q+=(s[i]=='Q');
			b+=(s[i]=='B');
		}
		else
		{
			b=0;
		}
		for(int j=0;j<=k;j++)
		{
			if(f[i][j]<0)
			{
				continue;
			}
			if(j)
			{
				if(i+1>m)
				{
					return 1;
				}
				Max(f[i+1][j-1+(s[i]=='Q')],
				f[i][j]+(s[i]=='B'));
			}
			if(f[i][j])
			{
				if(i+2>m)
				{
					return 1;
				}
				Max(f[i+2][j+(s[i]=='Q')],
				f[i][j]-1+(s[i]=='B'));
			}
		}
	}
	return 0;
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>T;
	while(T--)
	{
		cin>>n>>m>>s+1;
		Q=B=0;
		for(int i=1;i<=n;i++)
		{
			Q+=(s[i]=='Q');
			B+=(s[i]=='B');
		}
		cin>>s+1;
		int l=n,r=n+(m>>1),ans=0;
		while(l<=r)
		{
			int mid=l+r>>1;
			judge(mid)?(r=(ans=mid)-1):(l=mid+1);
		}
		if(!ans)
		{
			cout<<"IMPOSSIBLE"<<endl;
			continue;
		}
		cout<<ans<<endl;
	}
	return 0;
}