package main

import . "fmt"
import t "time"
import . "strings"

func main() {
	var m,d,k int
	Scan(&m,&d,&k)
	x,_:=t.Parse("2006/1/2",Sprint("2001/",m,"/",d))
	s:=x.Format("0102")
	for i:=0;i<6;i++ {
		x=x.AddDate(0,0,1)
		s+=x.Format("0102")
	}
	c:=0
	for i:=0;i<=9;i++ {
		if Contains(s,Sprint(i)) {
			c++
		}
	}
	if c>=k {
		Println("Yes")
	} else {
		Println("No")
	}
}