#include<bits/stdc++.h>
using namespace std;
int m,s,t,n1,n2;
int main(){
	scanf("%d%d%d",&m,&s,&t);
	for(int i=t;i>=1;i--){
		n1+=17;
        if(m>=10) n2+=60,m-=10;
        else m+=4;
        n1=max(n1,n2);
        if(n1>s){
        	printf("Yes\n%d",i);
        	return 0;
		}
	}
	printf("No\n%d",n1);
	return 0;
}