package main

import (
	"bufio"
	"fmt"
	"io"
	"os"
	"strconv"
)

var iost *Iost

type Iost struct {
	Scanner *bufio.Scanner
	Writer  *bufio.Writer
}

func NewIost(fp io.Reader, wfp io.Writer) *Iost {
	const BufSize = 2000005
	scanner := bufio.NewScanner(fp)
	scanner.Split(bufio.ScanWords)
	scanner.Buffer(make([]byte, BufSize), BufSize)
	return &Iost{Scanner: scanner, Writer: bufio.NewWriter(wfp)}
}
func (i *Iost) Text() string {
	if !i.Scanner.Scan() {
		panic("scan failed")
	}
	return i.Scanner.Text()
}
func (i *Iost) Atoi(s string) int                 { x, _ := strconv.Atoi(s); return x }
func (i *Iost) GetNextInt() int                   { return i.Atoi(i.Text()) }
func (i *Iost) Atoi64(s string) int64             { x, _ := strconv.ParseInt(s, 10, 64); return x }
func (i *Iost) GetNextInt64() int64               { return i.Atoi64(i.Text()) }
func (i *Iost) Atof64(s string) float64           { x, _ := strconv.ParseFloat(s, 64); return x }
func (i *Iost) GetNextFloat64() float64           { return i.Atof64(i.Text()) }
func (i *Iost) Print(x ...interface{})            { fmt.Fprint(i.Writer, x...) }
func (i *Iost) Printf(s string, x ...interface{}) { fmt.Fprintf(i.Writer, s, x...) }
func (i *Iost) Println(x ...interface{})          { fmt.Fprintln(i.Writer, x...) }
func isLocal() bool                               { return os.Getenv("WITHIN") == "TEMPTATION" }
func main() {
	fp := os.Stdin
	wfp := os.Stdout
	if isLocal() {
		fp, _ = os.Open(os.Getenv("REMEMBER_YOU_AS_LONG_AS_I_CAN"))
	}
	iost = NewIost(fp, wfp)
	defer func() {
		iost.Writer.Flush()
	}()
	solve()
}
func solve() {
	m := iost.GetNextInt()
	d := iost.GetNextInt()
	k := iost.GetNextInt()
	used := make([]bool, 10)
	for i := 0; i < 7; i++ {
		d2 := d
		for j := 0; j < 2; j++ {
			used[d2%10] = true
			d2 /= 10
		}
		m2 := m
		for j := 0; j < 2; j++ {
			used[m2%10] = true
			m2 /= 10
		}
		d++
		switch m {
		case 2:
			if d > 28 {
				d = 1
				m++
			}
		case 4, 6, 9, 11:
			if d > 30 {
				d = 1
				m++
			}
		default:
			if d > 31 {
				d = 1
				m++
			}
		}
		if d == 1 {
			m = m%12 + 1
		}
	}
	for i := 0; i < 10; i++ {
		if used[i] {
			k--
		}
	}
	if k > 0 {
		iost.Println("No")
		return
	}
	iost.Println("Yes")
}