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