题目描述

$42$ 是：

• 组合数学上的第 $5$ 个卡特兰数
• 字符 '*' 的 $\tt ASCII$ 码
• 钼的原子序数
• $6$ 与 $9$ 的乘积结果的 $13$ 进制表示
• 生命、宇宙以及任何事情的终极答案
• 以及……表达式 $(1+5)/2\times (6-4) \times 7$ 的值

因此，小机器人 Marvin 发明了这个叫 $42$ 点的小游戏。在这个游戏中，玩家会获得 $n$ 个数。玩家需要使用 '+'、'-'、'*'、'/'、'('、')' 以及这 $n$ 个数构成一个合法的中缀表达式，并使得该表达式的值为 $42$。$n$ 个数之间的顺序可以改变。表达式运算过程中只能出现整数。

由于过于抑郁，Marvin 无力完成这个游戏，于是来找你帮忙。你的任务是对于给定的 $n$ 个数，判断他们是否能根据上述游戏规则算出 $42$。

输入格式

第一行为一个数 $n$，$1\le n\le 6$。

第二行为 $n$ 个数，每个数均为 $[1,13]$ 范围内的整数。

输出格式

输出一行，若可以算出 $42$ 则输出 YES，否则输出 NO（注意大小写）。

6
1 5 2 6 4 7

YES