#include <bits/stdc++.h>

#define pb push_back
#define mp make_pair
#define sz(x) (int)(x).size()
#define li long long
#define ld long double
#define x first
#define y second
#define pt pair<int, int>
#define pll pair<li, li>
#define forn(i, t) for(int i = 0; i < (t); i++)
#define fore(i, f, t) for(int i = (f); i < (t); i++)
#define forr(i, f, t) for(int i = (f) - 1; i >= (t); i--)
#define all(x) (x).begin(), (x).end()
#define ins insert

using namespace std;


const int INF = 1e9;
const int MOD = 1e9 + 7;
const li INF64 = 1e18;
const ld EPS = 1e-7;

mt19937 myrand(time(NULL));

const int N = 5001;

int a[3];


bool read(){
    if(scanf("%d%d%d""NO\n");
        return;
    }
    printf("YES\n");
    forn(i, 3){
        ans ^= gr[a[i]];
        bool fl = 0;
        fore(j, a[i] / 2, a[i])
            if ((ans ^ gr[j]) == 0){
                fl = 1;
                a[i] = j;
                break;
            }
        if (fl){
            forn(j, 3)
                printf("%d ", a[j] + 1);
            printf("\n");
            return;
        }
        ans ^= gr[a[i]];
    }
    /*gr[0] = 0;
    //printf("0: 0\n");
    printf("{0,");
    fore(i, 1, N){
        gr[i] = calc(i);
        printf("%d,", gr[i]);
    }
    printf("}\n");
    //printf("\n");*/
}


int main(){
    #ifdef _DEBUG
        freopen("input.txt", "r", stdin);
    #endif
    while(read())
        solve();
    return 0;
}