#include <stdio.h>

int main()
{
  int n[3], max, other;
  int i;
  scanf("%d%d%d", n+0, n+1, n+2);
  other = n[0] + n[1] + [2];
  max = n[0];
  if ( max < n[1] ) max = n[1];
  if ( max < n[2] ) max = n[2];
  other -= max;
  if ( max = other ) printf("Yes");
  else printf("No");
  return 0;
}