#include<bits/stdc++.h>
using namespace std;
int main(){
    string doc1,doc2;
    cin>>doc1>>doc2;
    
    int m=doc1.length();
    int n=doc2.length();
    
    int insertcost = 3;
    int deletecost = 2;
    int substitutecost = 5;
    
    vector<vector<int>> dp(m+1,vector<int>(n+1,0));
    
    for(int i=0;i<m;i++)  dp[i][0] = i*insertcost;
    for(int j=0;j<n;j++)  dp[0][j] = j*deletecost;
    
    for(int i=1;i<m;i++){
        for(int j=1;j<n;j++){
            if(doc1[i-1]==doc2[j-1]){
                dp[i][j]=dp[i-1][j-1];
            }
            else{
                dp[i][j]=({dp[i-1][j]+insertcost,dp[i][j-1]+deletecost,dp[i-1][j-1]+substitutecost})
            }
        }
    }
    cout<<dp[m][n];
}