#include <bits/stdc++.h>
int main(void) {
  int A, B, S;
  scanf("%d", &A);
  scanf("%d", &B);
  scanf("%d", &S);
  if (1 <= A) {
    if (B <= 5) {
      printf("yes");
    }
  } else {
    printf("no");
  }
  return 0;
}
