#include<bits/stdc++.h>
using namespace std;
using LL = long long;
using ULL = unsigned long long;
#define rep(i,n) for(int i=0; i<(n); i++)

int N[4];
LL S;
int A[4][600];
vector<pair<LL,int>> X;
vector<pair<LL,int>> Y;

const LL INF=1ll<<40;

pair<LL,pair<int,int>> constructans(int xp,int yp){
  return {X[xp].first*Y[yp].first,{X[xp].second,Y[yp].second}};
}

// x 以下を数える
pair<LL,pair<int,int>> search(LL x){
  LL cnt=0;
  pair<LL,pair<int,int>> ans={-INF,{-1,-1}};
  if(x>=0){
    int j=0, k=Y.size();
    rep(i,X.size()){
      if(X[i].first<0){
        while((j<Y.size())?X[i].first*Y[j].first>x:false) j++;
        cnt+=Y.size()-j;
        if(j<Y.size()) ans=max(ans,constructans(i,j));
      }
      else if(X[i].first>0){
        while((k>0)?X[i].first*Y[k-1].first>x:false) k--;
        cnt+=k;
        if(k>0) ans=max(ans,constructans(i,k-1));
      }
      else{
        cnt+=Y.size();
        ans=max(ans,constructans(i,0));
      }
    }
  }
  else{
    int j=Y.size(), k=0;
    rep(i,X.size()){
      if(X[i].first<0){
        while((j>0)?X[i].first*Y[j-1].first<=x:false) j--;
        cnt+=Y.size()-j;
        if(j>0) ans=max(ans,constructans(i,j-1));
      }
      else if(X[i].first>0){
        while((k<Y.size())?X[i].first*Y[k].first<=x:false) k++;
        cnt+=k;
        if(k<Y.size()) ans=max(ans,constructans(i,k));
      }
      else{
        ans=max(ans,constructans(i,0));
      }
    }
  }
  ans.first=cnt;
  return ans;
}

int main() {
  rep(i,4) cin>>N[i]; cin>>S;
  rep(i,4) rep(j,N[i]) cin>>A[i][j];
  rep(i,N[0]) rep(j,N[1]) X.push_back({A[0][i]*A[1][j],i*600+j}); sort(X.begin(),X.end());
  rep(i,N[2]) rep(j,N[3]) Y.push_back({A[2][i]*A[3][j],i*600+j}); sort(Y.begin(),Y.end());
  LL l=-INF, r=INF; pair<int,int> ans;
  while(r-l>1){
    LL m=(l+r)/2;
    auto res=search(m);
    if(res.first<S) l=m; else{ r=m; ans=res.second; }
  }
  cout<<r<<endl;
  cout<<A[0][ans.first/600]<<" "<<A[1][ans.first%600]<<" "<<A[2][ans.second/600]<<" "<<A[3][ans.second%600]<<endl;
  return 0;
}