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

#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rrep(i,n) for(int i=(int)(n-1);i>=0;i--)
#define ALL(v) v.begin(),v.end()
#define RALL(v) v.rbegin(),v.rend()
template <class T> using V=vector<T>;
template <class T> using VV=V<V<T>>;
using u128=__int128_t;
using ll=long long;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  V<int> A(3);
  rep(i,3) cin>>A[i];
  sort(ALL(A));
  if(A[1]==1) cout<<"No\n";
  else{
    ll tmp=1;
    rep(i,3) tmp=tmp*A[i]%6;
    if(tmp==0) cout<<"Yes\n";
    else cout<<"No\n";
  }
    
  return 0;
}