다각형

길이가 주어진 $N$개의 선분이 있다. 이 선분들을 어떤 순서로든 모두 사용하여 볼록 다각형의 변으로 배치할 수 있는지 판정하는 프로그램을 작성하라.

이 문제에서는 다각형의 모든 내각이 $0$도보다 크고 $180$도보다 작을 때, 즉 연속한 세 꼭짓점이 한 직선 위에 놓이지 않을 때 그 다각형을 볼록하다고 한다.

첫째 줄에 다각형의 변의 개수를 나타내는 정수 $N$이 주어진다 ($3 \le N \le 1000$). 다음 $N$개의 줄에는 각 줄마다 한 변의 길이를 나타내는 정수 $a_i$가 주어진다 ($1 \le a_i \le 10000$).

$N$개의 선분을 각각 정확히 한 번씩, 순서에 관계없이 변으로 사용하여 볼록 다각형을 만들 수 있으면 YES를, 만들 수 없으면 NO SOLUTION을 한 줄에 출력한다.