#include using namespace std; using lint = long long; template using V = vector; template using VV = V< V >; int main() { cin.tie(nullptr); ios::sync_with_stdio(false); string A, B; cin >> A >> B; string s, t; V<> a, b; for (int i = 0; i < (int)A.size(); ++i) { s += A[i]; if (i + 1 < (int)A.size() and !islower(A[i + 1])) { a.push_back(A[++i] == '?' ? 1 : 2); } else { a.push_back(0); } } for (int i = 0; i < (int)B.size(); ++i) { t += B[i]; if (i + 1 < (int)B.size() and !islower(B[i + 1])) { b.push_back(B[++i] == '?' ? 1 : 2); } else { b.push_back(0); } } int n = a.size(), m = b.size(); VV<> c(26, V<>(n + 1)), d(26, V<>(m + 1)); for (int x = 0; x < 26; ++x) { for (int i = n - 1; i >= 0; --i) { c[x][i] = (s[i] - 'a' != x) + c[x][i + 1]; } for (int j = m - 1; j >= 0; --j) { d[x][j] = (t[j] - 'a' != x) + d[x][j + 1]; } } VV<> dp(n + 1, V<>(m + 1, 1e9)); VV<> p(n + 1, V<>(m + 1, 1e9)); VV<> q(n + 1, V<>(m + 1, 1e9)); dp[0][0] = 0; for (int i = 0; i <= n; ++i) for (int j = 0; j <= m; ++j) { if (i) dp[i][j] = min(dp[i][j], dp[i - 1][j] + !a[i - 1]); if (j) dp[i][j] = min(dp[i][j], dp[i][j - 1] + !b[j - 1]); if (i and j) { dp[i][j] = min(dp[i][j], dp[i - 1][j - 1] + (s[i - 1] != t[j - 1])); if (a[i - 1] == 2) { int x = s[i - 1] - 'a'; dp[i][j] = min(dp[i][j], p[i - 1][j] - d[x][j]); } if (b[j - 1] == 2) { int y = t[j - 1] - 'a'; dp[i][j] = min(dp[i][j], q[i][j - 1] - c[y][i]); } } if (i < n and j < m) { int x = s[i] - 'a'; p[i][j + 1] = min(p[i][j], dp[i][j] + d[x][j]); int y = t[j] - 'a'; q[i + 1][j] = min(q[i][j], dp[i][j] + c[y][i]); } } cout << dp[n][m] << '\n'; }