//http://www.cnblogs.com/IMGavin/
#include <iostream>
#include <stdio.h>
#include <cstdlib>
#include <cstring>
#include <queue>
#include <vector>
#include <map>
#include <stack>
#include <set>
#include <bitset>
#include <algorithm>
using namespace std;
typedef long long LL;
#define gets(A) fgets(A, 1e8, stdin)
const int INF = 0x3F3F3F3F, N = 1008, MOD = 1003, M = 1000000;
int l[N], r[N], a[N];
const double EPS = 1e-6;
struct Node{
int u, v, cap, cost;
int next;
}edge[M];//有向图,u到v的容量,费用
int tot;
int head[N], pre[N], path[N], dis[N];
bool inq[N];
void init(){
tot = 0;
memset(head, -1, sizeof(head));
}
void add(int u, int v, int cap, int cost){
edge[tot].u = u;
edge[tot].v = v;
edge[tot].cap = cap;
edge[tot].cost = cost;
edge[tot].next = head[u];
head[u] = tot++;
edge[tot].u = v;
edge[tot].v = u;
edge[tot].cap = 0;
edge[tot].cost = -cost;
edge[tot].next = head[v];
head[v] = tot++;
}
bool SPFA(int st, int des){//计算最小费用
memset(inq, 0, sizeof(inq));
memset(dis, 0x3f, sizeof(dis));
queue <int> q;
q.push(st);
dis[st] = 0;
inq[st] = true;
while(!q.empty()){
int u = q.front();
q.pop();
inq[u] = false;
for(int i = head[u]; ~i; i = edge[i].next){
int v = edge[i].v;
if(edge[i].cap > 0 && dis[v] > dis[u] + edge[i].cost){
dis[v] = dis[u] + edge[i].cost;
pre[v] = u;
path[v] = i;
if(!inq[v]){
inq[v] = true;
q.push(v);
}
}
}
}
return dis[des] < INF;
}
int EdmondsKarp(int st, int des){//最小费用最大流
int mincost = 0, flow = 0;//最小费用与流量
while(SPFA(st, des)){
int f = INF;
for(int i = des; i != st; i = pre[i]){
if(f > edge[path[i]].cap){
f = edge[path[i]].cap;
}
}
for(int i = des; i != st; i = pre[i]){
edge[path[i]].cap -= f;
edge[path[i]^1].cap += f;
}
mincost += f * dis[des];
flow += f;
}
return mincost;
}
int main(){
int n, k;
while(cin >> n >> k){
int num = 0;
for(int i = 0; i < n; i++){
scanf("%d %d", &l[i], &r[i]);
a[num++] = l[i];
a[num++] = r[i];
}
sort(a, a + num);
num = unique(a, a + num) - a;
init();
int st = 0, des = num + 1;
add(st, 1, k, 0);
add(num, des, k, 0);
for(int i = 0; i < n; i++){
int u = lower_bound(a, a + num, l[i]) - a + 1;
int v = lower_bound(a, a + num, r[i]) - a + 1;
add(u, v, 1, l[i] - r[i]);
}
for(int i = 0; i < num - 1 ;i++){
add(i + 1, i + 2, INF, 0);
}
printf("%d\n", -EdmondsKarp(st, des));
}
return 0;
}