#include <bits/stdc++.h>

using i64 = long long;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    int A, B;
    std::cin >> A >> B;
    
    for (int x = 1; x <= 6; x++) {
        for (int y = 1; y <= 6; y++) {
            for (int z = 1; z <= 6; z++) {
                int red = 0;
                int black = 0;
                for (auto a : {x, y, z}) {
                    if (a == 1 || a == 4) {
                        red += a;
                    } else {
                        black += a;
                    }
                }
                if (A == red && B == black) {
                    std::cout << "Yes\n";
                    return 0;
                }
            }
        }
    }
    std::cout << "No\n";
    
    return 0;
}