/* -*- coding: utf-8 -*-
 *
 * 3659.cc:  No.3659 CONSTRUCTION 1,2,3 - yukicoder
 */

#include<cstdio>
#include<algorithm>

using namespace std;

/* main */

int main() {
  int ps[3];
  for (int i = 0; i < 3; i++) scanf("%d", ps + i);

  bool e2[3] = {}, e3[3] = {};
  for (int i = 0; i < 3; i++) {
    e2[i] = (ps[i] % 2 == 0);
    e3[i] = (ps[i] % 3 == 0);
  }

  for (int i = 0; i < 3; i++)
    if (e2[i])
      for (int j = 0; j < 3; j++)
	if (i != j && e3[j]) {
	  puts("Yes");
	  return 0;
	}
  
  puts("No");
  return 0;
}