/*
AizuOnline A0060
Card Game
*/
#include <stdio.h>
#define min(a,b) ((a)<(b))?(a):(b)

main()
{
  int c1,c2,c3;
  int nokori;
  int used;


  
while(EOF != scanf("%d %d %d",&c1,&c2,&c3))
  {
    nokori = 20 -c1-c2;
    nokori = min(10,nokori); 
    
    used=0;
    if(nokori >= c1)
      used ++;
    if(nokori >= c2)
      used ++;
    if(nokori >= c3)
      used ++;

    /*printf("ZAN %d\n",nokori-used);*/
    if(nokori-used <4)
      printf("NO\n");
    else
      printf("YES\n");
  }
return(0);
}