#ifdef LOCAL #include #else #pragma GCC optimize("O3,unroll-loops") #pragma GCC target("avx2,popcnt,lzcnt,abm,bmi,bmi2") #include #define debug(...) ((void)0) #define postprocess(...) ((void)0) #endif using namespace std; using ll = long long; using ld = long double; using Point = complex; using Vector = complex; void solve([[maybe_unused]] int test) { int a, b, c; cin >> a >> b >> c; Point A(0.0, 0.0), B(b, 0.0); for (int bd = 1; bd <= 500; bd++) { for (int ec = 1; ec <= 500; ec++) { auto bc = bd + ec + a; if (bc >= b + c) continue; if (b >= bc + c) continue; if (c >= bc + b) continue; auto arad = acos(((double)b * b + c * c - bc * bc) / ((double)2 * b * c)); Point C(c * cos(arad), c * sin(arad)); Vector vec_bc = C - B; Point D = B + (double)bd / abs(vec_bc) * vec_bc; Point E = B + (double)(bd + a) / abs(vec_bc) * vec_bc; Vector AD = D - A; Vector AE = E - A; Vector AC = C - A; if (abs(arg(AD) - (arg(AC) - arg(AE))) < 1e-7) { cout << "Yes" << endl; return; } } } cout << "No" << endl; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t = 1; // cin >> t; for (int i = 1; i <= t; i++) { solve(i); } postprocess(); }