#include <bits/stdc++.h>
using namespace std;
template <class A>
void pr(A a) {
  cout << a;
  cout << '\n';
}
template <class A, class B>
void pr(A a, B b) {
  cout << a << ' ';
  pr(b);
}
template <class A, class B, class C>
void pr(A a, B b, C c) {
  cout << a << ' ';
  pr(b, c);
}
template <class A, class B, class C, class D>
void pr(A a, B b, C c, D d) {
  cout << a << ' ';
  pr(b, c, d);
}
template <class A>
void PR(A a, long long n) {
  for (int i = (int)(0); i < (int)(n); i++) {
    if (i) cout << ' ';
    cout << a[i];
  }
  cout << '\n';
}
long long check(long long n, long long m, long long x, long long y) {
  return x >= 0 && x < n && y >= 0 && y < m;
}
const long long MAX = 1000000007, MAXL = 1LL << 61, dx[4] = {-1, 0, 1, 0},
                dy[4] = {0, 1, 0, -1};
void Main() {
  long long n, m;
  cin >> n >> m;
  long long a[n];
  for (int i = (int)(0); i < (int)(n); i++) cin >> a[i];
  int x = m;
  for (int i = (int)(0); i < (int)(n); i++) x -= a[i] < 0;
  if (x < 0) {
    pr(-1);
    return;
  }
  priority_queue<int, vector<int>, greater<int> > que;
  int y = 0, z = 0, f = 0;
  for (int i = (int)(0); i < (int)(n); i++) {
    if (a[i] < 0) {
      if (f) {
        que.push(y);
        z++;
      }
      y = 0;
      z++;
      f = 1;
    } else
      y++;
  }
  if (f) z++;
  while (!que.empty() && que.top() <= x) {
    x -= que.top();
    que.pop();
    z -= 2;
  }
  if (f && y <= x) z--;
  pr(z);
}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  Main();
  return 0;
}
