== 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 pregatitie 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 pregatite 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$ ...

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.

h2. Date de ieşire

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

Î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$.

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 |

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

| 6 3
  1 2 3 1 1 2
| 2

|
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