#include <bits/stdc++.h>
#define endl '\n'
using namespace std;
int m,s,t;
int main(){
    cin >> m >> s >> t;
    int s1=0,s2=0,t1=t;
    while(s>s1 && t>0){
		if(m>=10) s2+=60,m-=10;
		else m+=4;
		s1+=17, s1 = max(s1,s2);
		--t;
    }
    if(s1<s) cout << "No" << endl << s1;
    else cout << "Yes" << endl << t1-t;
    return 0;
}