#include <bits/stdc++.h>
#define rep(i, n) for(int i=0; i<(int)(n); i++)
using namespace std;
using ll = long long;
using P = pair<int, int>;

int main(){
    int x, y, z;
    cin >> x >> y >> z;
    // ll ans = x * y * z;
    // if(ans % 3 == 0) cout << "Yes" << endl;
    if(x % 3 == 0 || y % 3 == 0 || z % 3 == 0) cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}