description
钟逆时针而绕，恶物狰狞的倾巢，我谦卑安静地于城堡下的晚祷，压抑远古流窜的蛮荒暗号，而管风琴键高傲的说，那只是在徒劳。我的乐器在环绕，时代无法淘汰我霸气的皇朝。 你无法预言，因为我越险，翅越艳；没有句点，跨时代蔓延，翼朝天。 月下浮雕，魔鬼的浅笑，狼迎风嚎，蝠翔似黑潮，用孤独去调尊严的色调。我跨越过世代，如兽般的姿态，琴声唤起沉睡的血脉。不需要被崇拜，如兽般的悲哀，只为永恒的乐曲存在，醒过来。 去年万众瞩目的《跨时代》专辑发行之后，周杰伦又开始了他的世界巡回演唱会《超时代》。有人说过：如果你喜欢一个人，那你一定要去看一场他的演唱会；电视机前的1m距离和在演唱会现场哪怕100m的距离，两种感觉都是截然不同的。
所以小G作为铁杆歌迷，也计划带着小Y去看周杰伦的演唱会。 演唱会当然要圈出一个空地，然后才能布置道具。 演唱会的第一站，公司临时跟当地的消防局借了n个栏杆，打算用这n个栏杆围出一个矩形。而麻烦的是，这些栏杆有长有短，这就给围场地带来了一些难度。 所以公司聘请你来写一个程序，计算用这n个栏杆做多围出面积多大的矩形。
（注：必须要刚好围成一个矩形，即不能出现多余的边长，且不能切断栏杆，但所给栏杆不一定要全部用上）
analysis
-
暴力深搜
-
四条边是不是，四个(dfs)伺候
-
注意各种剪枝
code
#pragma GCC optimize("O3")
#pragma G++ optimize("O3")
#include<stdio.h>
#include<string.h>
#include<algorithm>
#define INF 1000000007
#define ll long long
#define sqr(x) x*x
#define fo(i,a,b) for (ll i=a;i<=b;++i)
#define fd(i,a,b) for (ll i=a;i>=b;--i)
using namespace std;
ll a[20];
bool bz[20];
ll n,tot,ans;
inline ll read()
{
ll x=0,f=1;char ch=getchar();
while (ch<'0' || '9'<ch){if (ch=='-')f=-1;ch=getchar();}
while ('0'<=ch && ch<='9')x=x*10+ch-'0',ch=getchar();
return x*f;
}
inline bool cmp(ll x,ll y)
{
return x>y;
}
inline void dfs4(ll x,ll y,ll z,ll zz)
{
if (y*2>tot-zz*2 || y>z || tot-zz*2-z<y)return;
if (x>n)
{
if (y<z)return;
ans=max(ans,z*zz);
return;
}
if (bz[x]==0)
{
bz[x]=1,dfs4(x+1,y+a[x],z,zz);
bz[x]=0,dfs4(x+1,y,z,zz);
}
else dfs4(x+1,y,z,zz);
}
inline void dfs3(ll x,ll y,ll z)
{
if (y*2>tot-z*2 || y>z)return;
if (x>n)
{
if (ans==0 || (ans>0 && y*z>ans))dfs4(1,0,y,z);
return;
}
if (bz[x]==0)
{
bz[x]=1,dfs3(x+1,y+a[x],z);
bz[x]=0,dfs3(x+1,y,z);
}
else dfs3(x+1,y,z);
}
inline void dfs2(ll x,ll y,ll z)
{
if (y*2>=tot || y>z)return;
if (x>n)
{
if (y<z)return;
if (ans==0 || (ans>0 && y*((tot-y*2)/2)>ans))dfs3(1,0,y);
return;
}
if (bz[x]==0)
{
bz[x]=1,dfs2(x+1,y+a[x],z);
bz[x]=0,dfs2(x+1,y,z);
}
else dfs2(x+1,y,z);
}
inline void dfs1(ll x,ll y)
{
if (y*2>=tot)return;
if (x>n)
{
if (ans==0 || (ans>0 && y*((tot-y*2)/2)>ans))dfs2(1,0,y);
return;
}
bz[x]=1,dfs1(x+1,y+a[x]);
bz[x]=0,dfs1(x+1,y);
}
int main()
{
freopen("T1.in","r",stdin);
n=read();
fo(i,1,n)tot+=a[i]=read();
sort(a+1,a+n+1,cmp),dfs1(1,0);
if (!ans)printf("No Solution
");
else printf("%lld
",ans);
return 0;
}