描述

乔治有$K \leq 20$根呈半圆形状的钢丝，其半径为$a_1, a_2, \ldots, a_K$。这些钢丝可在端点处以任意角度焊接（连接）。问乔治是否能利用这些钢丝（不必用完所有）组成一个闭合图形？

钢丝可按任意角度组合，但不得相交。请注意浮点误差问题。

输入

每个数据集的首行是整数$0 < K \leq 20$，接下来一行包含$K$个以空格分隔的数$a_i$。每个数满足$0 < a_i < 10^7$，且最多保留3位小数。

输入以单独一行的$0$终止。

输出

对每个测试用例，输出一行结果：若能用给定圆弧组成简单连通的闭合图形，输出"YES"，否则输出"NO"。

输入数据1

1  
4.000  
2  
1.000 1.000  
3  
1.455 2.958 4.424  
7  
1.230 2.577 3.411 2.968 5.301 4.398 6.777  
0  

输出数据1

NO  
YES  
NO  
YES  

来源

2005年北欧竞赛