问题描述

给出4个小于10个正整数，你可以使用加减乘除4种运算以及括号把这4个数连接起来得到一个表达式。现在的问题是，是否存在一种方式使得得到的表达式的结果等于24。

这里加减乘除以及括号的运算结果和运算的优先级跟我们平常的定义一致（这里的除法定义是实数除法）。 比如，对于5，5，5，1，我们知道5 * (5 – 1 / 5) = 24，因此可以得到24。又比如，对于1，1，4，2，我们怎么都不能得到24。

格式说明

输入格式

输入数据包括多行，每行给出一组测试数据，包括4个小于10个正整数。最后一组测试数据中包括4个0，表示输入的结束，这组数据不用处理.

输出格式

对于每一组测试数据，输出一行，如果可以得到24，输出“YES”；否则，输出“No”.

样例

5 5 5 1
1 1 4 2
0 0 0 0

YES
No

数据说明

时间限制：6000ms，内存限制：65536KiB。