package main

import (
	"fmt"
)

func main() {
	var M, D, K int
	fmt.Scan(&M, &D, &K)

	m := make(map[int]int)
	mtable := [1 + 12]int{0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
	for i := 0; i < 7; i++ {
		m[M/10]++
		m[M%10]++
		m[D/10]++
		m[D%10]++

		D++
		if D > mtable[M] {
			D = 1
			M++
			if M > 12 {
				M = 1
			}
		}
	}

	if len(m) >= K {
		fmt.Println("Yes")
	} else {
		fmt.Println("No")
	}
}