#include <bits/stdc++.h>
using namespace std;
int main(void){
    long long a[3];
    cin>>a[0]>>a[1]>>a[2];
    sort(a,a+3);
    long long t=((a[0]%6)*(a[1]%6)*(a[2]%6))%6;
    cout<<((!t)&&(!(a[0]==1&&a[1]==1))?"Yes":"No")<<endl;
    return 0;
}