// MagicDark
#include <bits/stdc++.h>
#define debug cerr << "[" << __LINE__ << "] "
#define SZ(x) (int) x.size() - 1
#define all(x) x.begin(), x.end()
#define ms(x, y) memset(x, y, sizeof x)
#define F(i, x, y) for (int i = (x); i <= (y); i++)
#define DF(i, x, y) for (int i = (x); i >= (y); i--)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
template <typename T> inline void chkmax(T& x, T y) {x = max(x, y);}
template <typename T> inline void chkmin(T& x, T y) {x = min(x, y);}
template <typename T> inline void read(T &x) {
	x = 0; int f = 1; char c = getchar();
	for (; !isdigit(c); c = getchar()) if (c == '-') f = -f;
	for (; isdigit(c); c = getchar()) x = (x << 1) + (x << 3) + (c ^ 48);
	x *= f;
}
const int N = 2e6 + 10;
int n, k, a[N], q[N];
string st;
vector <int> ls[N], rs[N];
ll val;
int fa[N], tot, id[N];
vector <int> vv[N], v[N];
int find(int x) {return x == fa[x] ? x : fa[x] = find(fa[x]);}
pair <ll, int> f[N], dp[N];
int pre[N];
ll sum[N], h[N], w[N];
pair <ll, int> operator + (pair <ll, int> x, pair <ll, int> y) {
	return {x.first + y.first, x.second + y.second};
}
void DP(int x) {
	if (x <= n) return dp[x] = make_pair(val * 2, 1), void();
	for (int i: v[x]) DP(i);
	// F(i, 1, SZ(v[x])) dfs(v[x][i]);
	int l = 1, r = 0;
	q[++r] = 0;
	F(i, 1, v[x].size()) {
		pre[i] = pre[i - 1] + (v[x][i - 1] <= n);
		sum[i] = sum[i - 1] + h[v[x][i - 1]];
		while (l < r && make_pair(w[q[l + 1]] - w[q[l]], f[q[l + 1]].second) <= make_pair(2ll * (pre[q[l + 1]] - pre[q[l]]) * pre[i], f[q[l]].second)) l++;
		f[i] = dp[v[x][i - 1]] + make_pair(w[q[l]] + 2 * sum[i - 1] + (ll) pre[i] * pre[i] - pre[i] - 2 * pre[i] * pre[q[l]], f[q[l]].second);
		w[i] = f[i].first - 2 * sum[i] + (ll) pre[i] * pre[i] + pre[i];
		// debug << i << " " << q[l] << " " << f[i].first << " " << f[i].second << " " << w[q[l]] + 2 * sum[i - 1] + (ll) pre[i] * pre[i] - pre[i] - 2 * pre[i] * pre[q[l]] << endl;
		while (l <= r && pre[q[r]] == pre[i] && make_pair(w[i], f[i].second) < make_pair(w[q[r]], f[q[r]].second)) r--;
		if (l <= r && pre[q[r]] == pre[i]) continue;
		while (l < r && make_pair((__int128) (w[i] - w[q[r]]) * (pre[q[r]] - pre[q[r - 1]]) - (__int128) (w[q[r]] - w[q[r - 1]]) * (pre[i] - pre[q[r]]), f[q[r]].second) > make_pair((__int128) 0, f[i].second)) r--;
		q[++r] = i;
		// debug << v[x][i - 1] << " " << q[l] << " " << w[q[l]] << " " << 2 * sum[i - 1] + (ll) pre[i] * pre[i] - pre[i] - 2 * pre[i] * pre[q[l]] << " " << f[i].first << " " << v[x][i - 1] << " " << dp[v[x][i - 1]].first << endl;
	}
	dp[x].first = 1e18;
	F(i, 1, v[x].size()) chkmin(dp[x], f[i] + make_pair(2 * sum[v[x].size()] - 2 * sum[i] + (ll) (pre[v[x].size()] - pre[i]) * (pre[v[x].size()] - pre[i] - 1), 0));//, debug << f[i].first << endl;
	h[x] = sum[v[x].size()] + (ll) pre[v[x].size()] * (pre[v[x].size()] - 1) / 2;
	// debug << x << " " << h[x] << " " << dp[x].first << " " << dp[x].second << endl;
}
signed main() {
	cin.tie(0) -> sync_with_stdio(0); // don't use puts
	cin >> n >> k >> st;
	k--;
	st = ' ' + st;
	n++;
	F(i, 1, n) vv[(a[i] = i == 1 ? 0 : a[i - 1] + (st[i - 1] == '(' ? 1 : -1)) + n].push_back(i);
	tot = n;
	DF(i, 2 * n, 0) {
		for (int j: vv[i]) {
			// debug << j << endl;
			fa[j] = j;
			int t = find(j - 1);
			if (t && a[t] == a[j]) id[j] = id[t], fa[t] = j;
			else id[j] = ++tot;
			if (t && a[t] != a[j]) v[id[j]].push_back(id[t]);
			v[id[j]].push_back(j);
			t = find(j + 1);
			if (t) v[id[j]].push_back(id[t]), fa[t] = j;
		}
	}
	// F(i, 1, tot) {
	// 	for (int j: v[i]) debug << i << " " << j << endl;
	// }
	// F(i, 1, tot) v[i].insert(v[i].begin(), 0);
	// F(i, 1, n) {
	// 	while (q[0] && a[q[q[0]]] >= a[i]) q[0]--;
	// 	if (rs[q[q[0]]].size()) {
	// 		if (a[rs[q[q[0]]].front()] != a[i]) swap(rs[q[q[0]]], ls[i]);
	// 	}
	// 	rs[q[q[0]]].push_back(i);
	// }
	// val = 1;
	// DP(tot);
	// debug << dp[tot].first << " " << dp[tot].second << endl;
	// return 0;
	ll l = -1, r = 1e10, ans = -1;
	while (l + 1 < r) {
		ll mid = (l + r) >> 1;
		val = mid;
		DP(tot);
		if (!k) {
			ans = h[tot];
			break;
		}
		if (dp[tot].second <= k) r = mid, ans = dp[tot].first / 2 - val * k;//, debug << val << " " << dp[tot].first / 2 << " " << val * k << endl;
		else l = mid;
	}
	cout << ans;
	return 0;
}
/* why?
*/