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

typedef modint998244353 mint;
typedef long long ll;

int main(){
	int n, m; cin >> n >> m;
	mcf_graph<int,int> mcf(4*n + 2);
	for (int i=0; i<n; i++){
		mcf.add_edge(4*n, n+i, 1, 0);
		mcf.add_edge(i, 4*n+1, 1, 0);
		if (i<n-1) mcf.add_edge(n+i, 2*n+i+1, 1, 2);
		if (i>0) mcf.add_edge(n+i, 3*n+i-1, 1, 2);
		mcf.add_edge(2*n+i, i, 1, 0);
		mcf.add_edge(3*n+i, i, 1, 0);
	}
	for (int i=0; i<n-1; i++){
		mcf.add_edge(2*n+i, 2*n+i+1, n, 0);
		mcf.add_edge(3*n+i+1, 3*n+i, n, 0);
	}
	for (int i=0; i<m; i++){
		int u, v; cin >> u >> v;
		u--; v--;
		mcf.add_edge(n+u, v, 1, 0);
		mcf.add_edge(n+v, u, 1, 0);
	}
	auto fl = mcf.flow(4*n, 4*n+1);
	cout << n - fl.second << endl;
}