#include #include using namespace std; using namespace atcoder; typedef long long int ll; typedef long double ld; typedef vector vi; typedef vector vvi; typedef vector vvvi; typedef vector vvvvi; typedef pair pi; typedef pair ppi; typedef pair pppi; typedef pair ppppi; #define FOR(i,l,r) for(ll i=l;i=l;i--) #define RREP(i,n) RFOR(i,0,n) #define ALL(x) x.begin(),x.end() #define F first #define S second #define BS(A,x) binary_search(ALL(A),x) #define LB(A,x) (ll)(lower_bound(ALL(A),x)-A.begin()) #define UB(A,x) (ll)(upper_bound(ALL(A),x)-A.begin()) #define COU(A,x) (UB(A,x)-LB(A,x)) #define sz(c) ((ll)(c).size()) /* #include namespace mp=boost::multiprecision; using Bint=mp::cpp_int; */ templateusing min_priority_queue=priority_queue,greater>; templateostream&operator<<(ostream&os,pair&p){os<istream&operator>>(istream&is,pair&p){is>>p.F>>p.S;return is;} templateostream&operator<<(ostream&os,vector&v){REP(i,sz(v))os<istream&operator>>(istream&is,vector&v){for(T&in:v)is>>in;return is;} templatebool chmax(T&a,T b){if(abool chmin(T&a,T b){if(b vm; typedef vector vvm; typedef vector vvvm; typedef vector vvvvm; ostream&operator<<(ostream&os,mint&a){os<>_; while(_--){ ll A,B,C,X,Y,Z,W;cin>>A>>B>>C>>X>>Y>>Z>>W; ll ans=0; REP(v,min({A,B,C})+1){ vector>D; D.emplace_back(tuple{min(A,B)-v,0,0}); D.emplace_back(tuple{0,min(B,C)-v,0}); D.emplace_back(tuple{0,0,min(C,A)-v}); D.emplace_back(tuple{0,B-v,A-v}); D.emplace_back(tuple{0,B-v,C-B}); D.emplace_back(tuple{0,C-A,A-v}); D.emplace_back(tuple{B-v,0,C-v}); D.emplace_back(tuple{B-v,0,A-B}); D.emplace_back(tuple{A-C,0,C-v}); D.emplace_back(tuple{A-v,C-v,0}); D.emplace_back(tuple{A-v,B-C,0}); D.emplace_back(tuple{B-C,C-v,0}); D.emplace_back(tuple{(A+B-C-v)/2,(-A+B+C-v)/2,(A-B+C-v)/2}); D.emplace_back(tuple{(A+B-C-v)/2+1,(-A+B+C-v)/2,(A-B+C-v)/2}); D.emplace_back(tuple{(A+B-C-v)/2,(-A+B+C-v)/2+1,(A-B+C-v)/2}); D.emplace_back(tuple{(A+B-C-v)/2,(-A+B+C-v)/2,(A-B+C-v)/2+1}); D.emplace_back(tuple{(A+B-C-v)/2+1,(-A+B+C-v)/2+1,(A-B+C-v)/2}); D.emplace_back(tuple{(A+B-C-v)/2,(-A+B+C-v)/2+1,(A-B+C-v)/2+1}); D.emplace_back(tuple{(A+B-C-v)/2+1,(-A+B+C-v)/2,(A-B+C-v)/2+1}); for(auto[s,t,u]:D){ if(min({s,t,u})>=0&&s+u+v<=A&&s+t+v<=B&&t+u+v<=C){ chmax(ans,s*X+t*Y+u*Z+v*W); } } } cout<