description: Consider a sequence of integers a_1, a_2, …, a_n. In one move, you can select any element of the sequence and delete it. After an element is deleted, all elements to the right are shifted to the left by 1 position, so there are no empty spaces in the sequence. So after you make a move, the sequence's length decreases by 1. The indices of the elements after the move are recalculated.
  
  E. g. let the sequence be a=[3, 2, 2, 1, 5]. Let's select the element a_3=2 in a move. Then after the move the sequence will be equal to a=[3, 2, 1, 5], so the 3-rd element of the new sequence will be a_3=1 and the 4-th element will be a_4=5.
  
  You are given a sequence a_1, a_2, …, a_n and a number k. You need to find the minimum number of moves you have to make so that in the resulting sequence there will be at least k elements that are equal to their indices, i. e. the resulting sequence b_1, b_2, …, b_m will contain at least k indices i such that b_i = i.
  
  Input
  
  The first line contains one integer t (1 ≤ t ≤ 100) — the number of test cases. Then t test cases follow.
  
  Each test case consists of two consecutive lines. The first line contains two integers n and k (1 ≤ k ≤ n ≤ 2000). The second line contains a sequence of integers a_1, a_2, …, a_n (1 ≤ a_i ≤ n). The numbers in the sequence are not necessarily different.
  
  It is guaranteed that the sum of n over all test cases doesn't exceed 2000.
  
  Output
  
  For each test case output in a single line:
  
    * -1 if there's no desired move sequence; 
    * otherwise, the integer x (0 ≤ x ≤ n) — the minimum number of the moves to be made so that the resulting sequence will contain at least k elements that are equal to their indices. 
  
  Example
  
  Input
  
  
  4
  7 6
  1 1 2 3 4 5 6
  5 2
  5 1 3 2 3
  5 2
  5 5 5 5 4
  8 4
  1 2 3 3 2 2 5 5
  
  
  Output
  
  
  1
  2
  -1
  2
  
  Note
  
  In the first test case the sequence doesn't satisfy the desired condition, but it can be provided by deleting the first element, hence the sequence will be [1, 2, 3, 4, 5, 6] and 6 elements will be equal to their indices.
  
  In the second test case there are two ways to get the desired result in 2 moves: the first one is to delete the 1-st and the 3-rd elements so that the sequence will be [1, 2, 3] and have 3 elements equal to their indices; the second way is to delete the 2-nd and the 3-rd elements to get the sequence [5, 2, 3] with 2 desired elements.
solution: import java.util.*;
  import java.io.*;
  
  public class Main {
  
      static long startTime = System.currentTimeMillis();
  
      // for global initializations and methods starts here
  
      // global initialisations and methods end here
  
      static void run() {
          boolean tc = true;
          AdityaFastIO r = new AdityaFastIO();
          //FastReader r = new FastReader();
  
          try (OutputStream out = new BufferedOutputStream(System.out)) {
  
              //long startTime = System.currentTimeMillis();
  
              int testcases = tc ? r.ni() : 1;
              int tcCounter = 1;
              // Hold Here Sparky------------------->>>
              // Solution Starts Here
  
              start:
              while (testcases-- > 0) {
  
                  int n = r.ni();
                  int k = r.ni();
  
                  int[] arr = new int[n + 1];
                  arr[0] = -1;
                  for (int i = 1; i <= n; i++) arr[i] = r.ni();
  
                  int[][] dp = new int[n + 5][n + 5];
  
                  for (int i = 1; i <= n; i++) {
                      for (int j = 0; j <= i; j++) {
  
                          if (j != 0) { // we should take it
                              dp[i][j] = Math.max(dp[i][j], dp[i - 1][j - 1] + ((arr[i] == j) ? 1 : 0));
                          }
  
                          if (j != i) { // we should avoid it
                              dp[i][j] = Math.max(dp[i][j], dp[i - 1][j]);
                          }
                      }
                  }
  
                  int ans = Integer.MAX_VALUE;
  
                  for (int i=0;i<=n;i++){
                      for (int j=0;j<=n;j++){
                          if (dp[i][j]>=k){
                              ans = Math.min(ans, n-j);
                          }
                      }
                  }
  
                  out.write(((ans == Integer.MAX_VALUE ? -1 : ans) + " ").getBytes());
                  out.write(("\n").getBytes());
  
              }
              // Solution Ends Here
          } catch (IOException e) {
              e.printStackTrace();
          }
      }
  
      static class AdityaFastIO {
          final private int BUFFER_SIZE = 1 << 16;
          private final DataInputStream din;
          private final byte[] buffer;
          private int bufferPointer, bytesRead;
          public BufferedReader br;
          public StringTokenizer st;
  
          public AdityaFastIO() {
              br = new BufferedReader(new InputStreamReader(System.in));
              din = new DataInputStream(System.in);
              buffer = new byte[BUFFER_SIZE];
              bufferPointer = bytesRead = 0;
          }
  
          public AdityaFastIO(String file_name) throws IOException {
              din = new DataInputStream(new FileInputStream(file_name));
              buffer = new byte[BUFFER_SIZE];
              bufferPointer = bytesRead = 0;
          }
  
          public String word() {
              while (st == null || !st.hasMoreElements()) {
                  try {
                      st = new StringTokenizer(br.readLine());
                  } catch (IOException e) {
                      e.printStackTrace();
                  }
              }
              return st.nextToken();
          }
  
          public String line() {
              String str = "";
              try {
                  str = br.readLine();
              } catch (IOException e) {
                  e.printStackTrace();
              }
              return str;
          }
  
          public String readLine() throws IOException {
              byte[] buf = new byte[100000001]; // line length
              int cnt = 0, c;
              while ((c = read()) != -1) {
                  if (c == '\n') break;
                  buf[cnt++] = (byte) c;
              }
              return new String(buf, 0, cnt);
          }
  
          public int ni() throws IOException {
              int ret = 0;
              byte c = read();
              while (c <= ' ') c = read();
              boolean neg = (c == '-');
              if (neg) c = read();
              do {
                  ret = ret * 10 + c - '0';
              }
              while ((c = read()) >= '0' && c <= '9');
              if (neg) return -ret;
              return ret;
          }
  
          public long nl() throws IOException {
              long ret = 0;
              byte c = read();
              while (c <= ' ') c = read();
              boolean neg = (c == '-');
              if (neg) c = read();
              do {
                  ret = ret * 10 + c - '0';
              }
              while ((c = read()) >= '0' && c <= '9');
              if (neg) return -ret;
              return ret;
          }
  
          public double nd() throws IOException {
              double ret = 0, div = 1;
              byte c = read();
              while (c <= ' ') c = read();
              boolean neg = (c == '-');
              if (neg) c = read();
              do {
                  ret = ret * 10 + c - '0';
              }
              while ((c = read()) >= '0' && c <= '9');
              if (c == '.') while ((c = read()) >= '0' && c <= '9') ret += (c - '0') / (div *= 10);
              if (neg) return -ret;
              return ret;
          }
  
          private void fillBuffer() throws IOException {
              bytesRead = din.read(buffer, bufferPointer = 0, BUFFER_SIZE);
              if (bytesRead == -1) buffer[0] = -1;
          }
  
          private byte read() throws IOException {
              if (bufferPointer == bytesRead) fillBuffer();
              return buffer[bufferPointer++];
          }
  
          public void close() throws IOException {
              if (din == null) return;
              din.close();
          }
      }
  
      public static void main(String[] args) throws Exception {
          run();
      }
  
      static long mod = 998244353;
  
      static long modInv(long base, long e) {
          long result = 1;
          base %= mod;
          while (e > 0) {
              if ((e & 1) > 0) result = result * base % mod;
              base = base * base % mod;
              e >>= 1;
          }
          return result;
      }
  
      static class FastReader {
          BufferedReader br;
          StringTokenizer st;
  
          public FastReader() {
              br = new BufferedReader(new InputStreamReader(System.in));
          }
  
          String word() {
              while (st == null || !st.hasMoreElements()) {
                  try {
                      st = new StringTokenizer(br.readLine());
                  } catch (IOException e) {
                      e.printStackTrace();
                  }
              }
              return st.nextToken();
          }
  
          String line() {
              String str = "";
              try {
                  str = br.readLine();
              } catch (IOException e) {
                  e.printStackTrace();
              }
              return str;
          }
  
          int ni() {
              return Integer.parseInt(word());
          }
  
          long nl() {
              return Long.parseLong(word());
          }
  
          double nd() {
              return Double.parseDouble(word());
          }
      }
  
      static int MOD = (int) (1e9 + 7);
  
      static long powerLL(long x, long n) {
          long result = 1;
          while (n > 0) {
              if (n % 2 == 1) result = result * x % MOD;
              n = n / 2;
              x = x * x % MOD;
          }
          return result;
      }
  
      static long powerStrings(int i1, int i2) {
          String sa = String.valueOf(i1);
          String sb = String.valueOf(i2);
          long a = 0, b = 0;
          for (int i = 0; i < sa.length(); i++) a = (a * 10 + (sa.charAt(i) - '0')) % MOD;
          for (int i = 0; i < sb.length(); i++) b = (b * 10 + (sb.charAt(i) - '0')) % (MOD - 1);
          return powerLL(a, b);
      }
  
      static long gcd(long a, long b) {
          if (a == 0) return b;
          else return gcd(b % a, a);
      }
  
      static long lcm(long a, long b) {
          return (a * b) / gcd(a, b);
      }
  
      static long lower_bound(List<Long> list, long k) {
          int s = 0;
          int e = list.size();
          while (s != e) {
              int mid = (s + e) >> 1;
              if (list.get(mid) < k) s = mid + 1;
              else e = mid;
          }
          if (s == list.size()) return -1;
          return s;
      }
  
      static int upper_bound(List<Long> list, long k) {
          int s = 0;
          int e = list.size();
          while (s != e) {
              int mid = (s + e) >> 1;
              if (list.get(mid) <= k) s = mid + 1;
              else e = mid;
          }
          if (s == list.size()) return -1;
          return s;
      }
  
      static void addEdge(ArrayList<ArrayList<Integer>> graph, int edge1, int edge2) {
          graph.get(edge1).add(edge2);
          graph.get(edge2).add(edge1);
      }
  
      public static class Pair implements Comparable<Pair> {
          int first;
          int second;
  
          public Pair(int first, int second) {
              this.first = first;
              this.second = second;
          }
  
          public String toString() {
              return "(" + first + "," + second + ")";
          }
  
          public int compareTo(Pair o) {
              // TODO Auto-generated method stub
              if (this.first != o.first)
                  return (int) (this.first - o.first);
              else return (int) (this.second - o.second);
          }
      }
  
      public static class PairC<X, Y> implements Comparable<PairC> {
          X first;
          Y second;
  
          public PairC(X first, Y second) {
              this.first = first;
              this.second = second;
          }
  
          public String toString() {
              return "(" + first + "," + second + ")";
          }
  
          public int compareTo(PairC o) {
              // TODO Auto-generated method stub
              return o.compareTo((PairC) first);
          }
      }
  
      static boolean isCollectionsSorted(List<Long> list) {
          if (list.size() == 0 || list.size() == 1) return true;
          for (int i = 1; i < list.size(); i++) if (list.get(i) <= list.get(i - 1)) return false;
          return true;
      }
  
      static boolean isCollectionsSortedReverseOrder(List<Long> list) {
          if (list.size() == 0 || list.size() == 1) return true;
          for (int i = 1; i < list.size(); i++) if (list.get(i) >= list.get(i - 1)) return false;
          return true;
      }
  
  }