#include<math.h>
#include<stdio.h>
#define Z 1e-6 //因为实数是否为0的判断不能用'==',而取而代之的是判断其是否小于一个很小的数,这里用10^(-6)
double a[4];//必须是double型的,我刚开始是用float,结果贡献了几个WA
bool f(int n)
{
if(n==1){//最后处理完毕,即到达解答树叶子节点
if(fabs(a[0]-24)<Z) return 1;//假如最后结果==24,则返回1
else return 0;
}
for(int i=0;i<n;++i)//双层循环,用以查找所有的可能情况,即取第i个元素与第j个元素进行运算
for(int j=i+1;j<n;++j){//从i+1开始,提高查找效率,但这时要注意下面2个操作数的前后顺序,都要考虑,一次过
double x=a[i];//取第i个元素
double y=a[j];//取第j个元素
a[j]=a[n-1];//最后一个元素前移到j,准备下次递归使用,n要--
a[i]=x+y;//而x+y作为新的第i个元素
if(f(n-1)) return 1;//假如碰到一个符合的,即f(n-1)返回1,则不再往下进行,节省时间后面的也是如此
a[i]=x-y;
if(f(n-1)) return 1;
a[i]=y-x;
if(f(n-1)) return 1;
a[i]=x*y;
if(f(n-1)) return 1;
if(fabs(y)>Z){//必须注意除数不能为0
a[i]=x/y;
if(f(n-1)) return 1;
}
if(fabs(x)>Z){
a[i]=y/x;
if(f(n-1)) return 1;
}
a[i]=x;
a[j]=y;
}
return 0;
}
int main()
{
while(scanf("%lf%lf%lf%lf",&a[0],&a[1],&a[2],&a[3]),(int)a[0]){//a[0]==0时,跳出
if(f(4)) puts("YES");
else puts("NO");
}
return 0;
}