Problem G
Superyatzy

Emma älskade att spela Yatzy när hon var liten och bestämde sig nyligen för att testa att spela det igen för första gången på många år. Dock insåg hon snabbt att det blev lite för tråkigt med bara fem tärningar och ändrade därför reglerna så att det istället finns $N$ stycken tärningar och kallar det nya spelet för Superyatzy. Det visade sig (inte helt förvånande) att det blev jättesvårt att få Yatzy när man spelar Superyatzy! För att åtgärda problemet började Emma fuska och snurra på sina tärningar. Emma är dock lite paranoid och tror att någon kommer se att hon fuskar. Därför bestämmer hon sig för att snurra på som mest $M$ tärningar. Är det möjligt för Emma att få Yatzy om hon fuskar på detta vis?

Emma använder vanliga sexsidiga tärningar och vill att alla tärningar ska visa samma värde - då har hon fått ”Yatzy” och vinner spelet.

Indata

Först kommer en rad som innehåller talen $N$ ($1 \leq N \leq 10^5$) och $M$ ($0 \leq M \leq N$), antalet tärningar som Emma har och antalet tärningar som Emma kan snurra på. Sedan följer $N$ rader där den i:te raden innehåller ett tal $t_ i$, där $t_ i$ representerar vilket värde den i:te tärningen har.

Utdata

Skriv ut ”Ja” om Emma kan få Yatzy och skriv ut ”Nej” annars.

Poängsättning

Din lösning kommer att testas på olika testgrupper. För att få poäng för en grupp så måste du klara alla testfall i gruppen.

Förklaring av exempelfall 1:

Vi får fem tärningar och kan fuska noll gånger. Alla tärningar måste vara likadana för att vi ska kunna få Yatzy, men det är de inte.

Förklaring av exempelfall 2:

Vi får fem tärningar och kan fuska tre gånger. Detta går att göra genom att ändra andra, tredje och fjärde tärningarna till $2$:or. Alternativt kan vi ändra första, fjärde och femte tärningarna till $4$:or och få yatzy i fyror.

5 0
1
1
1
2
1

Nej

5 3
2
4
4
3
2

Ja

10 5
1
6
1
3
2
6
6
3
6
4

Nej