时间限制：1秒　　内存限制：256M

---

【题目描述】

　　给出 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”。

【输入输出样例】

　Input

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

　Output

YES
NO

【数据限制】

　　对于 \(100\%\) 的数据，不超过50000组数据。

【来源】

　　Mr.he