#4231. 「2022.09三级」42点 暂未评定

时间限制:1000 ms 内存限制:128 MiB 标准输入输出
题目类型:传统 评测方式:文本比较
上传者: root

题目描述

42是:

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

因此,小机器人 Marvin 发明了这个叫 42 点的小游戏。在这个游戏中,玩家会获得 个数。

玩家需要使用 '+'、'-'、'*'、'/'、'('、')'以及这 个数构成一个合法的中缀表达式,并使得该表达式的值为 42。 个数之间的顺序可以改变。表达式运算过程中只能出现整数。

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

输入格式

第一行为一个数

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

输出格式

输出一行,若可以算出 42 则输出“YES”,否则输出“NO”(注意大小写)。

样例

样例输入

6
1 5 2 6 4 7

样例输出

YES