#include <stdio.h>
static int v[4]={0};
int  dfs(int *a,double s)
    {
        if(s==24)
        {
            return 1;
        }
        else
        {
            for(int i=0;i<4;i++)
            {
                if(v[i]==0)
                {
                    v[i]=1;
                    if(dfs(a,s+a[i])||dfs(a,s-a[i])||dfs(a,s/a[i])||dfs(a,s*a[i]))
                     return 1;
                    v[i]=0;
                }
            }

        }
        return 0;
    }
int main() {
    int a[4];
    for(int i=0;i<4;i++)
    {
        scanf("%d",&a[i]);
    }
    if(dfs(a,0))
    printf("true");
    else
    printf("false");
    return 0;
}