#include <bits/stdc++.h>
#include <string>
#define ft first
#define sc second
#define pt(sth) cout << sth << "\n"
#define chmax(a, b) (a)=max(a, b);
#define chmin(a, b) (a)=min(a, b);
#define moC(a, s, b) (a)=((a)s(b)+MOD)%MOD
using namespace std;
typedef long long ll;
typedef pair<ll, ll> pll;
static const ll INF=1e18;
static const ll MAX=101010;
static const ll MOD=1e9+7;


/*
 for(i=0; i<N; i++)
   cin >> a[i];
*/


ll dp[55][55][55];

int main(void) {
  ll i, j, k;
  
  ll N, C;
  cin >> N >> C;
  ll l[55], c[55];
  
  for(i=0; i<N; i++) cin >> l[i];
  for(i=0; i<N; i++) cin >> c[i];
  
  //初期化
  for(i=0; i<N; i++) {
    for(j=0; j<N; j++) {
      for(k=0; k<N; k++) {
        if(l[i]==l[j]||l[j]==l[k]||l[k]==l[i]) continue;
        if(l[i]<l[j] && l[j]<l[k]) continue;
        if(l[i]>l[j] && l[j]>l[k]) continue;
        if(c[i]+c[j]+c[k]>C) continue;
        
        chmax(dp[c[i]+c[j]+c[k]][j][k], l[i]+l[j]+l[k]);
      }
    }
  }
  
  //dp
  for(ll m=0; m<C; m++) {
    for(i=0; i<N; i++) {
      for(j=0; j<N; j++) {
        for(k=0; k<N; k++) {
          if(dp[m][i][j]==0) continue;
          if(l[i]==l[j]||l[j]==l[k]||l[k]==l[i]) continue;
          if(l[i]<l[j] && l[j]<l[k]) continue;
          if(l[i]>l[j] && l[j]>l[k]) continue;
          
          if(m+c[k]>C) continue;
          chmax(dp[m+c[k]][j][k], dp[m][i][j]+l[k]);
        }
      }
    }
  }
  
  ll ans=0;
  for(ll m=0; m<=C; m++) for(i=0; i<N; i++)
    for(j=0; j<N; j++) chmax(ans, dp[m][i][j]);
  
  pt(ans);
  
}