l1 = [int(i) for i in input().split()]
zhuangtai = False
def dfs(l):
    global zhuangtai
    if len(l) == 1:
        if abs(l[0] - 24)<0.000001:
            zhuangtai = True
            return True
        return False
    for i in range(len(l)):
        for j in range(i+1,len(l)):
            l2 = []
            for k in range(len(l)):
                if k != i and k != j:
                    l2.append(l[k])
            l2.append(l[i]+l[j])
            dfs(l2)
            l2.pop()
            l2.append(l[i]-l[j])
            dfs(l2)
            l2.pop()
            l2.append(l[i]*l[j])
            dfs(l2)
            l2.pop()
            if l[j] != 0:
                l2.append(l[i]/l[j])
                dfs(l2)
                l2.pop()
            if l[i] != 0:
                l2.append(l[j]/l[i])
                dfs(l2)
                l2.pop()
            l2.append(l[j]-l[i])
            dfs(l2)
            l2.pop()
dfs(l1)
print("true" if zhuangtai else "false")