#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;

int main() {
	long long N, M;
	cin >> N >> M;
	vector<int> P(N);
	for (int i = 0; i < N; i++){
		cin >> P[i];
		P[i]--;
	}
	atcoder::fenwick_tree<int> fw(N);
	long long c = 0;
	for (int i = 0; i < N; i++){
		c += fw.sum(P[i], N);
		fw.add(P[i], 1);
	}
	long long ans = 0;
	if (c % M == 0){
		ans = c;
	} else if (c < M){
		if ((M - c) % 2 == 0){
			ans = M;
		} else {
			if (M % 2 == 1){
				ans = M * 2;
			} else {
				ans = -1;
			}
		}
	} else {
		M = (c + M - 1) / M * M;
		if ((M - c) % 2 == 0){
			ans = M;
		} else {
			if (M % 2 == 1){
				ans = M * 2;
			} else {
				ans = -1;
			}
		}
	}
	cout << ans << '\n';
}