2.42点 42是： •组合数学上的第5个卡特兰数 •字符'*'的ASCII码 •钼的原子序数 •6与9的乘积结果的13进制表示 •生命、宇宙以及任何事情的终极答案 •以及……表

2.42点Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
 Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
42是：Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
·组合数学上的第5个卡特兰数Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
·字符'*'的ASCII码Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
·钼的原子序数Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
·6与9的乘积结果的13进制表示Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
·生命、宇宙以及任何事情的终极答案Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
·以及……表达式(1+5)/2*(6-4)*7的值Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
因此，小机器人Marvin发明了这个叫42点的小游戏。在这个游戏中，玩家会获得n个数。玩家需要使用'+'、'-'、'*'、'/'、'('、')'以及这n个数构成一个合法的中缀表达式，并使得该表达式的值为42。n个数之间的顺序可以改变。表达式运算过程中只能出现整数。Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
由于过于抑郁，Marvin无力完成这个游戏，于是来找你帮忙。你的任务是对于给定的n个数，判断他们是否能根据上述游戏规则算出42。Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
时间限制：1000Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
内存限制：65536Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
输入Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
第一行为一个数n，1<=n<=6。 第二行为n个数，每个数均为[1,13]范围内的整数。Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
输出Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
输出一行，若可以算出42则输出“YES”，否则输出“NO”（注意大小写）。Ycc100150满分答卷(100150.com)-青少年编程等级考试及竞赛题库
样例输入 样例输出