#include <bits/stdc++.h>

typedef unsigned long long ull;

const int P = 1000000007;

void add(int& x, int y) { if ((x += y) >= P) x -= P; }

const int N = 510;

char str[N];
int a[N][N], sa[N][N], as[N][N], pure[N][N];

bool fit(char c, char t) { return c == '?' || c == t; }

int main() {
	std::ios::sync_with_stdio(false);
	std::cin.tie(NULL); std::cout.tie(NULL);

	int n, k; std::cin >> n >> k >> (str + 1);
	
	for (int len = 2; len <= n; ++len)
		for (int l = 1, r = len; r <= n; ++l, ++r) {
			if (fit(str[l], '(') && fit(str[r], ')')) {
				add(pure[l][r], a[l + 1][r - 1]);
				add(pure[l][r], sa[l + 1][r - 1]);
				add(pure[l][r], as[l + 1][r - 1]);
				bool fl = r - l - 1 <= k;
				for (int i = l + 1; i != r; ++i) fl &= fit(str[i], '*');
				add(pure[l][r], fl);
			}
			add(a[l][r], pure[l][r]);
			for (int i = l; i != r; ++i) a[l][r] = (a[l][r] + pure[l][i] * ((ull)sa[i + 1][r] + a[i + 1][r])) % P;
			for (int i = l; i <= std::min(l + k - 1, r); ++i) {
				if (!fit(str[i], '*')) break;
				add(sa[l][r], a[i + 1][r]);
			}
			for (int i = r; i >= std::max(r - k + 1, l); --i) {
				if (!fit(str[i], '*')) break;
				add(as[l][r], a[l][i - 1]);
			}
		}
	std::cout << a[1][n] << '\n';

	return 0;
}