== include(page="template/taskheader" task_id="facebook") ==

In partea dreapta pe Facebook iti apar $K$ sugestii de prieteni. Pentru fiecare sugestie se cunoaste numarul de prieteni comuni. Gigel vrea sa obtina la sugestii $K$ persoane cu care sa aiba acelasi numar de prieteni in comun. El poate sa respinga o sugestie a Facebook-ului, caz in care locul acelei persoane este luat de altcineva. Stiind dinainte ordinea celor $N > K$ sugestii pe care le are pregatite Facebook, gasiti numarul minim de operatii astfel incat sa satisfaceti dorinta lui Gigel. In cazul in care nu exista solutie, $-1$.

In partea dreapta pe Facebook iti apar $K$ sugestii de prieteni. Pentru fiecare sugestie se cunoaste numarul de prieteni comuni. Gigel vrea sa obtina la sugestii $K$ persoane cu care sa aiba acelasi numar de prieteni in comun. El poate sa respinga o sugestie a Facebook-ului, caz in care locul acelei persoane este luat de altcineva. Stiind dinainte ordinea celor $N > K$ sugestii pe care le are pregatitie Facebook, gasiti numarul minim de operatii astfel incat sa satisfaceti dorinta lui Gigel. In cazul in care nu exista solutie, $-1$.

h2. Date de intrare

Fişierul de intrare $facebook.in$ va contine pe prime linie numerele $N$ si $K$. Pe cea de-a doua linie se vor afla $N$ numere, reprezentand numarul de prieteni pe care Gigel ii are in comun cu fiecare dintre prietenii sugerati de Facebook, in ordinea aparitiei lor in lista de sugestii.

Fişierul de intrare $facebook.in$ ...

h2. Date de ieşire

În fişierul de ieşire $facebook.out$ se va afisa pe prima linie numarul minim de operatii, in cazul in care exista solutie. In caz contrar se va afisa $-1$.

În fişierul de ieşire $facebook.out$ ...

h2. Restricţii

* $1 ≤ K ≤ N ≤ 2^17^$
* Gigel este foarte popular asa ca numarul de prieteni pe care ii are in comun cu sugestiile date de Facebook se incadreaza in intervalul $[0, 2^30^]$

* $... ≤ ... ≤ ...$

h2. Exemplu
table(example). |_. facebook.in |_. facebook.out |

| 6 3
  1 2 3 1 1 2
| 2

| This is some
  text written on
  multiple lines.
| This is another
  text written on
  multiple lines.

|
h3. Explicaţie

Gigel respinge a doua sugestie, iar lista de $K$ sugestii devine: $1 3 1$.
Gigel respinge a doua sugestie din nou, iar noile sugestii sunt: $1 1 1$.

...

== include(page="template/taskfooter" task_id="facebook") ==

8424