#include<bits/stdc++.h>
using namespace std;
int n,h,f[30],d[30],t[30];
int dp[30][30][205],ans=0;
int fk(int x){
    if(f[x]%d[x]) return f[x]/d[x]+1;
    return f[x]/d[x];
}
int main(){
    scanf("%d%d",&n,&h);
    h*=60;
    memset(dp,0,sizeof(dp));
    for(int i=1;i<=n;i++){
        scanf("%d",&f[i]);
    }
    for(int i=1;i<=n;i++){
        scanf("%d",&d[i]);
    }
    for(int i=1;i<=n-1;i++){
        scanf("%d",&t[i]);
    }
    for(int i=1;i<=h;i+=5){
        for(int j=1;j<=n;j++){
            int y=fk(j),z=0;
            while(dp[i-5*t[j-1]][j-1][z]){
                dp[i][j][0]=max(dp[i][j][0],dp[i-5*t[j-1]][j-1][z]);
                z++;
            }
            ans=max(ans,dp[i][j][0]);
            for(int k=1;k<=y;k++){
                dp[i][j][k]=max(dp[i-5*k][j][k-1]+f[j]-(k-1)*d[j],dp[i][j][k]);
                ans=max(ans,dp[i][j][k]);
            }
        }
    }
    printf("%d",ans);
}

麻烦大佬帮着看看为啥死循环不出结果（RE），蒟蒻不胜感激