#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using namespace std;
typedef long long ll;
typedef vector<int> vi;
typedef vector<long long> vl;
#define INF __INT32_MAX__

int main() {
    int X, Y, Z;
    cin >> X >> Y >> Z;

    if (X % 3 == 0 || Y % 3 == 0 || Z % 3 == 0) {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }
}