#include <bits/stdc++.h>
using namespace std;
long long int gcd(long long int a, long long int b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
long long int lcm(long long int a, long long int b) {
  return a * b / gcd(a, b);
}
long long int fexp(long long int a, long long int b) {
  long long int ans = 1;
  while (b) {
    if (b & 1) ans = ans * a % 1000000007;
    b /= 2;
    a = a * a % 1000000007;
  }
  return ans;
}
long long int inverse(long long int a, long long int p) {
  return fexp(a, p - 2);
}
void ingraph(vector<vector<long long int> >& graph, long long int m) {
  long long int x, y;
  for (long long int i = 0; i < m; i++) {
    cin >> x >> y;
    x--, y--;
    graph[x].push_back(y);
    graph[y].push_back(x);
  }
}
long long int modify(long long int n) {
  long long int res = n;
  res %= 1000000007;
  res += 1000000007;
  res %= 1000000007;
  return res;
}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long int t;
  t = 1;
  while (t--) {
    long long int n, k;
    cin >> n >> k;
    long long int ocnt = 0;
    vector<long long int> vec(n);
    vector<long long int> odd;
    for (long long int i = 0; i < n; i++) {
      cin >> vec[i];
      if (vec[i] < 0) {
        ocnt++;
        odd.push_back(i);
      }
    }
    if (ocnt > k) {
      cout << -1;
      return 0;
    }
    if (ocnt == 0) {
      cout << 0;
      return 0;
    }
    long long int cngs = 2 * ocnt;
    long long int rem = k - ocnt;
    if (odd.size() == 1) {
      if (n - odd[0] - 1 <= rem)
        cout << 1;
      else
        cout << 2;
      return 0;
    } else {
      vector<long long int> tmp;
      for (long long int i = 1; i < odd.size(); i++) {
        tmp.push_back(odd[i] - odd[i - 1] - 1);
      }
      sort(tmp.begin(), tmp.end());
      long long int sum = 0;
      for (long long int i = 0; i < tmp.size(); i++) {
        sum += tmp[i];
        if (sum <= rem) {
          cngs -= 2;
        } else {
          sum -= tmp[i];
          break;
        }
      }
      long long int lst = odd[odd.size() - 1];
      if (sum + n - lst - 1 <= rem) cngs--;
      cout << cngs;
    }
  }
}
