// yukicoder: No.779 Heisei
// 2019.4.12 bal4u

#include <stdio.h>

#define FR ((1989<<9)|(1<<5)|(8))
#define TO ((2019<<9)|(4<<5)|(30))

int main()
{
	int Y, M, D, d;
	scanf("%d%d%d", &Y, &M, &D);
	d = (Y << 9) | (M << 5) | D;
	puts(FR <= d && d <= TO ? "Yes" : "No");
	return 0;
}