时间限制：1000 ms
内存限制：128 MiB
标准输入输出
题目类型：传统
评测方式：文本比较
42是：
- 组合数学上的第5个卡特兰数
- 字符 '*' 的ASCII码
- 钼的原子序数
- 6 与 9 的乘积结果的 13 进制表示
- 生命、宇宙以及任何事情的终极答案
- 以及 …… 表达式
(1+5)/2*(6-4)*7 的值
因此，小机器人 Marvin 发明了这个叫 42 点的小游戏。在这个游戏中，玩家会获得 个数。
玩家需要使用 '+'、'-'、'*'、'/'、'('、')'以及这 个数构成一个合法的中缀表达式，并使得该表达式的值为 42。 个数之间的顺序可以改变。表达式运算过程中只能出现整数。
由于过于抑郁，Marvin无力完成这个游戏，于是来找你帮忙。你的任务是对于给定的 个数，判断他们是否能根据上述游戏规则算出 42。
第一行为一个数 ，。
第二行为 个数，每个数均为 [1,13] 范围内的整数。
输出一行，若可以算出 42 则输出“YES”，否则输出“NO”（注意大小写）。