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

int main() {
    int h, w;
    cin >> h >> w;

    vector<int> x(w), y(w);
    for(int i = 0; i < w; i++) {
        cin >> x[i] >> y[i];
        x[i]--;
        y[i]--;
    }

    mcf_graph<int, int> g(2 * w + 2);
    int s = 2 * w;
    int t = 2 * w + 1;

    for(int i = 0; i < w; i++) {
        for(int j = 0; j < w; j++) {
            if(y[i] - x[i] <= j && j <= y[i]) {
                g.add_edge(i, j + w, 1, 0);
            } else if(y[i] - x[i] > j) {
                g.add_edge(i, j + w, 1, y[i] - x[i] - j);
            } else {
                g.add_edge(i, j + w, 1, j - y[i]);
            }
        }
    }

    for(int i = 0; i < w; i++) {
        g.add_edge(s, i, 1, 0);
        g.add_edge(i + w, t, 1, 0);
    }

    int ans = g.flow(s, t, w).second;
    for(int i = 0; i < w; i++) {
        ans += x[i];
    }

    cout << ans << endl;
}