1935: 42点

内存限制:256 MB 时间限制:1.000 S
评测方式:文本比较 命题人:
提交:1 解决:1

题目描述

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

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

输入

第一行为一个数n,1<=n<=6。
第二行为n个数,每个数均为[1,13]范围内的整数。

输出

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

样例输入 复制

6
1 5 2 6 4 7

样例输出 复制

YES