初级二十四点游戏

Time Limit: 1000 ms Memory Limit: 65536 KiB

Problem Description

受李老师的影响,他4岁的孩子明明也开始喜欢传统的二十四点游戏了。不过,李老师觉得孩子太小,传统的二十四点的游戏太难了。于是,他把游戏作了简化:给明明两张牌,只能用一次加法或一次乘法运算,看看明明能不能算出24点来。现在,请你试着帮明明完成他的初级二十四点游戏。

Input

输入仅一行,包含两个数m和n,表示两张牌牌面上的数字大小,用空格分开。其中1<=m,n<=13。

Output

如果满足题意,输出Yes,否则输出No。

Sample Input

2 12

Sample Output

Yes

Hint

知识扩展:二十四点游戏是经典的益智类游戏,属于棋牌类游戏,此类游戏设计,最关键的就是游戏算法,它直接决定了游戏的关卡、游戏的难度以及游戏的可玩性。

Source