#include <bits/stdc++.h> using namespace std; #include <atcoder/all> using namespace atcoder; int main(void) { int n; cin >> n; long long m; cin >> m; vector<int> p(n); for(int i=0;i<n;++i){ cin >> p[i]; --p[i]; } fenwick_tree<int> bit(n); long long cnt=0; for(int i=0;i<n;++i){ bit.add(p[i],1); cnt+=bit.sum(p[i]+1,n); } if(m%2==0 && cnt%2){ cout << -1 << endl; } else if(m%2==0){ if(cnt%m==0){ cout << cnt << endl; } else { cout << (cnt/m+1)*m << endl; } } else { long long ans=0; if(cnt%m==0){ ans=cnt; } else { ans=(cnt/m+1)*m; } if(ans%2!=cnt%2){ ans+=m; } cout << ans << endl; } return 0; }