#include <bits/stdc++.h>
using namespace std;

typedef long long ll;

const int MX=105;

int dp[MX][MX*MX*2], dq[MX][MX*MX*2];

ll N, L, A[MX], B[MX];

int main() {
        cin.tie(0); ios_base::sync_with_stdio(0);

        cin>>N>>L;

        if(L<-100*100 || L>100*100) {
                cout<<"impossible"<<'\n';
                return 0;
        }

        for(int i=N;i>=1;i--) cin>>A[i];

        int zero;
        cin>>zero;

        for(int i=1;i<=N;i++) cin>>B[i];

        for(int i=0;i<MX;i++) {
                for(int j=0;j<MX*MX*2;j++) {
                        dp[i][j]=-1e9;
                        dq[i][j]=-1e9;
                }
        }

        // negatives
        dp[1][0]=0;
        for(int i=1;i<=N;i++) {
                for(int j=0;j<MX*MX*2;j++) {
                        for(int k=0;k<=A[i];k++) {
                                if(j+i*k<MX*MX*2)
                                        dp[i+1][j+i*k]=max(dp[i+1][j+i*k],dp[i][j]+k);
                        }
                }
        }

        // positives
        dq[1][0]=0;
        for(int i=1;i<=N;i++) {
                for(int j=0;j<MX*MX*2;j++) {
                        for(int k=0;k<=B[i];k++) {
                                if(j+i*k<MX*MX*2)
                                        dq[i+1][j+i*k]=max(dq[i+1][j+i*k],dq[i][j]+k);
                        }
                }
        }

        int ans=-1e9;
        for(int i=0;i<MX*MX*2;i++) {
                int j=L-i;
                if(j>0) continue;
                j=-j;
                if(j>=MX*MX*2) continue;

                ans=max(ans,dq[N+1][i]+dp[N+1][j]);
        }

        if(ans<0) {
                cout<<"impossible"<<'\n';
                return 0;
        }

        ans+=zero;

        cout<<ans<<'\n';
}