#include <bits/stdc++.h>
using namespace std;
int M, S, T, f[310000];
int main()
{
	scanf("%d%d%d", &M, &S, &T);
	f[0] = 0; 
	for(int i=1; i<=T; i++)
	{
		if(M >= 10) f[i] = f[i-1] + 60, M -= 10;
		else      f[i] = f[i-1],   M += 4;
	}
	for(int i=1; i<=T; i++)
	{
		f[i] = max(f[i], f[i-1] + 17);
		if(f[i] >= S)
		{
			printf("Yes\n%d\n", i);
			return 0;
		}
	}
	printf("No\n%d\n", f[T]);
	return 0;
}

#include<bits/stdc++.h>
using namespace std;
int M,S,T,f[310000];
int main()
{
	scanf("%d%d%d",&M,&S,&T);
	f[0]=0; 
	for(int i=1;i<=T;i++)
	{
		if(M>=10) f[i]=f[i-1]+60,M-=10;
		else      f[i]=f[i-1],   M+=4;
	}
	for(int i=1;i<=T;i++)
	{
		f[i]=max(f[i],f[i-1]+17);
		if(f[i]>=S)
		{
			printf("Yes\n%d\n",i);
			return 0;
		}
	}
	printf("No\n%d\n",f[T]);
	return 0;
}