CF387D.George and Interesting Graph

George loves graphs. Most of all, he loves interesting graphs. We will assume that a directed graph is interesting, if it meets the following criteria:

• The graph doesn't contain any multiple arcs;
• There is vertex $v$ (we'll call her the center), such that for any vertex of graph $u$ , the graph contains arcs $(u,v)$ and $(v,u)$ . Please note that the graph also contains loop $(v,v)$ .
• The outdegree of all vertexes except for the center equals two and the indegree of all vertexes except for the center equals two. The outdegree of vertex $u$ is the number of arcs that go out of $u$ , the indegree of vertex $u$ is the number of arcs that go in $u$ . Please note that the graph can contain loops.

However, not everything's that simple. George got a directed graph of $n$ vertices and $m$ arcs as a present. The graph didn't have any multiple arcs. As George loves interesting graphs, he wants to slightly alter the presented graph and transform it into an interesting one. In one alteration he can either remove an arbitrary existing arc from the graph or add an arbitrary arc to the graph.

George wonders: what is the minimum number of changes that he needs to obtain an interesting graph from the graph he's got as a present? Help George and find the answer to the question.

The first line contains two space-separated integers $n$ and $m$ ( $2<=n<=500,1<=m<=1000$ ) — the number of vertices and arcs in the presented graph.

Each of the next $m$ lines contains two space-separated integers $a_{i},b_{i}$ ( $1<=a_{i},b_{i}<=n$ ) — the descriptions of the graph's arcs. Pair $(a_{i},b_{i})$ means that the graph contains an arc from vertex number $a_{i}$ to vertex number $b_{i}$ . It is guaranteed that the presented graph doesn't contain multiple arcs.

Assume that the grah vertices are numbered 1 through $n$ .

Print a single integer — the answer to George's question.

For more information about directed graphs, please visit: http://en.wikipedia.org/wiki/Directed_graph

In the first sample the graph already is interesting, its center is vertex $3$ .