#include <bits/stdc++.h>
using namespace std;
#define ll long long int
#define MOD 1000000007
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
#define INF 100000000000000 //INF - 1e14
#define vi vector<ll>
#define pb push_back
#define mpl map<ll,ll>
#define ff first
#define ss second
#define pll pair<ll,ll>
#define vpll vector<pair<ll,ll> >
#define fer(i, a, n) for( ll i = a; i <= n; i++)
#define fdr(i, a, n) for( ll i = a; i >= n; i--)
#define invec(n,v) vi v(n); fer(i,0,n-1) cin >> v[i]
#define insvec(n,v) rin(n); vi v(n); fer(i,0,n-1) cin >> v[i]
#define MK2DV(v,row,col,val) vector<vector<ll> > v(row, vector<ll>(col,val))
#define matrix vector<vector<ll> >
#define printv(v,i,j) for(ll it =i; it <= j; it++) cout << v[it] << ' '; cout << '\n';
#define printpartition cout << "-------------------------------------------------------------" << endl;
#define printmat(mat,row,col) fer(i,0,row-1)fer(j,0,col-1)cout << mat[i][j] << " \n"[j == col-1];
#define ordered_set tree<ll, null_type,less<ll>, rb_tree_tag,tree_order_statistics_node_update>
void __print(int x) {cout << x;}
void __print(long x) {cout << x;}
void __print(long long x) {cout << x;}
void __print(unsigned x) {cout << x;}
void __print(unsigned long x) {cout << x;}
void __print(unsigned long long x) {cout << x;}
void __print(float x) {cout << x;}
void __print(double x) {cout << x;}
void __print(long double x) {cout << x;}
void __print(char x) {cout << '\'' << x << '\'';}
void __print(const char *x) {cout << '\"' << x << '\"';}
void __print(const string &x) {cout << '\"' << x << '\"';}
void __print(bool x) {cout << (x ? "true" : "false");}
template<typename T, typename V>
void __print(const pair<T, V> &x) {cout << '{'; __print(x.first); cout << ','; __print(x.second); cout << '}';}
template<typename T>
void __print(const T &x) {int f = 0; cout << '{'; for (auto &i : x) cout << (f++ ? "," : ""), __print(i); cout << "}";}
void _print() {cout << "]\n";}
template <typename T, typename... V>
void _print(T t, V... v) {__print(t); if (sizeof...(v)) cout << ", "; _print(v...);}
template <typename T> inline void inp(T &any) {cin >> any;} template <typename T, typename... U>inline void inp(T &a, U &...b) {cin >> a; inp(b...);}
#define rin(args...) ll args; inp(args);
#ifndef ONLINE_JUDGE
#define debug(x...) cout << "[" << #x << "] = ["; _print(x)
#define matdeb(mat,row,col) cout << #mat << "::" << endl; printmat(mat,row,col); printpartition;
#define debugv(v,n) cout << #v << ":" << endl; printv(v,0,n-1); printpartition;
#else
#define debug(x...)
#define matdeb(mat,row,col)
#define debugv(v,n)
#endif
ll fast_pow(ll base, ll exp, ll M = MOD) { base = base % M; ll result = 1; while (exp > 0) { if (exp % 2 == 1) result = (result * base) % M; base = (base * base) % M; exp = exp / 2; } return result; }
ll modInverse(ll A, ll M = MOD) { return fast_pow(A, M - 2, M); } // only when M is prime
ll lcm(ll x, ll y) { return x / __gcd(x, y) * y;}
void coordinatecompress(vector<ll> &arr) { ll n = arr.size(); vector<pair<ll, ll> > temparr(n); fer(i, 0, n - 1) temparr[i] = {arr[i], i}; sort(temparr.begin(), temparr.end()); arr[temparr[0].second] = 0; fer(i, 1, n - 1) arr[temparr[i].second] = arr[temparr[i - 1].second] + (temparr[i - 1].first != temparr[i].first); }
string yes = "Yes", no = "No";
// void dfs(ll s, ll p) {
// 	for (auto nbr : adj[s]) {
// 		if (nbr != p) {
// 			dfs(nbr, s);
// 		}
// 	}
// }



int main() {
	ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
#ifndef ONLINE_JUDGE
	// freopen("intt.txt", "r", stdin);
	// freopen("outt.txt", "w", stdout);
#endif

	ll test_cases = 1;
	// cin >> test_cases;
	for (ll test_case = 1; test_case <= test_cases; test_case++) {
#ifndef ONLINE_JUDGE
		// cout << "Case #" << test_case << ": " << endl;
#endif
		rin(n, k);
		vpll v(n);
		ll ans = 0;
		fer(i, 0, n - 1) {
			cin >> v[i].second >> v[i].first;
		}
		sort(v.begin(), v.end());
		reverse(v.begin(), v.end());
		map<ll, ll> cnt;
		vpll taken;
		// k can be equal to n
		for (int i = 0; i < k; i++) {
			ans += v[i].first;
			cnt[v[i].second]++;
			taken.push_back({v[i].first, v[i].second});
		}
		ll cursz = cnt.size();
		ans += cursz * cursz;
		map<ll, bool> vis;
		vi arr;
		for (int i = k; i < n; i++) {
			if (cnt[v[i].second] == 0 && !vis[v[i].second]) {
				vis[v[i].second] = true;
				arr.push_back(v[i].first);
			}
		}
		ll na = arr.size();
		ll ptr = k - 1;
		ll mx = ans;
		fer(i, 0, na - 1) {
			while (ptr >= 0) {
				if (cnt[taken[ptr].second] > 1) {
					ans += arr[i];
					ans -= taken[ptr].first;
					ans -= cursz * cursz;
					cursz++;
					ans += cursz * cursz;
					mx = max(ans, mx);
					ptr--;
					break;
				}
				ptr--;
			}
		}
		cout << mx;


	}
	return 0;
}


Measured memory_bytes: 15392