#include "bits/stdc++.h" //#include <atcoder/all> using namespace std; //using namespace atcoder; //#define int long long #define ll long long ll INF = (1LL << 60); constexpr int mod = 1000000007; using P = pair<int, int>; signed main() { vector<int>a(3), b(3); for (int i = 0; i < 3; i++) { cin >> a[i]; } for (int i = 0; i < 3; i++) { cin >> b[i]; } sort(a.begin(), a.end()); sort(b.begin(), b.end()); bool ok = true; for (int i = 0; i < 3; i++) { if (a[i] != b[i])ok = false; } if (ok) { cout << "Yes" << endl; cout << 2 << endl; } else { cout << "No" << endl; } return 0; }