多组数据，每组给 4 个小于 10 的正整数，可以任意使用 +、-、*、/ 和括号把它们连成一个表达式（除法为实数除法）。判断能否得到 24，最后一组 4 个 0 结束。

输入格式

多组，每组一行 4 个整数；0 0 0 0 结束。

输出格式

每组一行，能得到 24 输出 YES，否则输出 NO。

输入样例

5 5 5 1
1 1 1 1
0 0 0 0

输出样例

YES
NO

限制

时间限制：1000，内存限制：131072