题目说明

给出4个小于10的正整数，你可以使用加减乘除4种运算以及括号把这4个数连接起来得到一个表达式。判断是否存在一种方式使得结果等于24。 这里运算的结果和优先级与日常定义一致（除法为实数除法）。 例如：

• 对于 5,5,5,1，5 * (5 – 1 / 5) = 24，可以得到24；
• 对于 1,1,4,2，无法得到24。

输入要求

输入数据包括多行，每行给出一组测试数据，包含4个小于10的正整数。最后一组测试数据为 0 0 0 0，表示输入结束，该组数据无需处理。

输出要求

对于每一组测试数据，输出一行：可以得到24输出 YES，否则输出 NO。

样例输入

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

样例输出

YES
NO