#include<stdio.h>
#include<string.h>
int main()
{
int a[2001]={0};
int i=0,n=0,key=0,j,k;
char c;
while (scanf("%d",&a[i])!=EOF)
{
n++;
i++;
if((c=getchar())!=' ') break;
}
scanf("%d",&key);
for(i=0;i<=n;i++)
{
for(j=i+1;j<=n;j++)
{
for(k=j+1;k<=n;k++)
{
if((a[i]+a[j]+a[k])==key)
{
printf("True\n");
return 0;
}
}
}
}
printf("False\n");
return 0;
}