#include<bits/stdc++.h>
using namespace std;

int main(){
  int a,b,c;
  cin>>a>>b>>c;
  if (b>c) swap(b,c); if (a>b) swap(a,b);
  if (a==1&&b==1) cout<<"No\n";
  else if (1LL*a*b*c%6!=0) cout<<"No\n";
  else cout<<"Yes\n";
}