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