#include <bits/stdc++.h>
int main() {
  int a, b, c;
  scanf("%d", &a);
  scanf("%d %d", &b, &c);
  if (a, b == 1 || a, b == 5 || a, b == 10 || a, b == 50 || a, b == 100 || a,
      b == 500) {
    if (a + b >= 2 && a + b <= 1000 && a + b > c && c <= 1000) {
      printf("Yes");
    } else {
      printf("No");
    }
  } else {
    printf("No");
  }
  return 0;
}
