#include<stdio.h>

int main(){

int x,y,z;
int S=0,W=0;
while(scanf("%d %d %d",&x,%y,&z)!=0)){

for(int i=1;i<11;i++)
{
if(i!=z&&x+y+i>20)W++;
else if(i!=z&&x+y+i<=20)S++;
}

if(S>=4)printf("Yes\n");
else if(S<4)printf("No\n");
S=0,W=0;

}
return 0;
}