#include <bits/stdc++.h>
#include <atcoder/all>

using namespace std;
using ll = long long;
#define rep(i, s, t) for (ll i = s; i < (ll)(t); i++)
#define all(x) begin(x), end(x)
template <class T> bool chmin(T& x, T y) {
	return x > y ? (x = y, true) : false;
}
template <class T> bool chmax(T& x, T y) {
	return x < y ? (x = y, true) : false;
}

void solve() {
	int a, b, c;
	cin >> a >> b >> c;
	if (a < b) swap(a, b);
	if (a < c) swap(a, c);
	if (b < c) swap(b, c);
	if ((a % 2 == 0 && b % 3 == 0) || (b % 2 == 0 && c % 3 == 0) ||
		(c % 2 == 0 && a % 3 == 0) || (a % 3 == 0 && b % 2 == 0) ||
		(b % 3 == 0 && c % 2 == 0) || (c % 3 == 0 && a % 2 == 0) ||
		(a % 6 == 0 && b > 1) || b % 6 == 0 || c % 6 == 0) {
		cout << "Yes\n";
	} else {
		cout << "No\n";
	}
}

int main() {
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cout << fixed << setprecision(15);
	int t = 1;
	// cin >> t;
	while (t--) solve();
}