A. Happy Valentine's Day
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

"The best and most beautiful things in this world cannot be seen or even heard, but must be felt with the heart" - Helen Keller

4 days from now, is a special day ! It's not just a random Wednesday, but the famous Valentine's Day !

All the shops in the town are offering intersting items. The cashier does $$$n$$$ operations, summing $$$ai$$$ values, $$$1\leq i \leq n$$$, where $$$a_{i} \gt 0$$$ means that the price goes higher, or it's a discount if $$$a_{i} \leq 0$$$

As a perfectionist programmer, you only buy if the final sum is exactly $$$14$$$ Dinars, else you'll pass the offer.

Input

The first line contains the integer $$$n$$$, the number of presents. $$$(1 \leq n \leq 19)$$$

The second line contains $$$n$$$ integers, the value added to the cash register. $$$(-10 \leq a_{i} \leq 19)$$$

Output

Output either "YES" or "NO". The answer is case insensitive thus "Yes", "yEs", "yes" are all accepted.

Examples
Input
2
3 11
Output
YES
Input
6
-8 -4 -3 0 12 17
Output
YES
Input
Output
Note
For the 1st test case, the sum of the two numbers $$$3$$$ and $$$11$$$ is equal to $$$14$$$.
For the 2nd test case, their sum is exactly $$$14$$$.