#include <bits/stdc++.h>
int main() {
  int A, B, C;
  scanf("%d %d %d", &A, &B, &C);
  if (A + B >= C) {
    if ((A != 1) && (A != 5) && (A != 10) && (A != 50) && (A != 100) &&
        (A != 500) && (B != 1) && (B != 5) && (B != 10) && (B != 50) &&
        (B != 100) && (B != 500)) {
      printf("No\n");
    } else if ((A != 1) && (A != 5) && (A != 10) && (A != 50) && (A != 100) &&
                   (A != 500) && (B == 1) ||
               (B == 5) || (B == 10) || (B == 50) || (B == 100) || (B == 500)) {
      printf("Yes\n");
    } else if ((B != 1) && (B != 5) && (B != 10) && (B != 50) && (B != 100) &&
                   (B != 500) && (A == 1) ||
               (A == 5) || (A == 10) || (A == 50) || (A == 100) || (A == 500)) {
      printf("Yes\n");
    } else {
      printf("Yes\n");
    }
  } else {
    printf("No\n");
  }
  return 0;
}
