#include <iostream>
using namespace std;
const int N=520,mod=1e9+7;
int n,k;
long long int dp[N][N][7];
char s[N];
int main()
{
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++) cin>>s[i];
    //区间dp,dp[l][r][1/2/3/4/5]
    //1表示 每一位全是'*' 这样的括号序列
    //2表示 左端为'('且右端为')'且这两个括号相匹配 这样的括号序列
    //3表示 左端为'('且右端为'*' 这样的括号序列
    //4表示 左端为'('且右端为')' 这样的括号序列
    //5表示 左端为'*'且右端为')' 这样的括号序列
    //6表示 左端为'*'且右端为'*' 这样的括号序列
    for(int i=1;i<=n;i++) dp[i][i-1][1]=1;
    for(int len=1;len<=n;len++)
    {
        for(int l=1,r=l+len-1;r<=n;l++,r++)
        {
            if(len<=k)
            {
                if((s[r]=='*' || s[r]=='?') && dp[l][r-1][1]==1) dp[l][r][1]=1;
                else dp[l][r][1]=0;
            }
            if(len>=2)
            {
                if((s[l]=='(' || s[l]=='?') && (s[r]==')' || s[r]=='?'))
                    dp[l][r][2]=(dp[l+1][r-1][1]+dp[l+1][r-1][3]+dp[l+1][r-1][4]+dp[l+1][r-1][5])%mod;
                for(int i=l;i<=r-1;i++)
                {
                    dp[l][r][3]=(dp[l][r][3]+dp[l][i][4]*dp[i+1][r][1])%mod;
                    dp[l][r][4]=(dp[l][r][4]+(dp[l][i][3]+dp[l][i][4])*dp[i+1][r][2])%mod;
                    dp[l][r][5]=(dp[l][r][5]+(dp[l][i][5]+dp[l][i][6])*dp[i+1][r][2])%mod;
                    dp[l][r][6]=(dp[l][r][6]+dp[l][i][5]*dp[i+1][r][1])%mod;
                }
            }
            dp[l][r][4]=(dp[l][r][4]+dp[l][r][2])%mod;
            dp[l][r][6]=(dp[l][r][6]+dp[l][r][1])%mod;
        }
    }
    printf("%lld",dp[1][n][4]);
    return 0;
}