C. Когда порядок определён однозначно

Про неизвестную перестановку по очереди сообщают факты вида «на позиции $x$ число меньше, чем на позиции $y$». Найдите наименьшее число фактов, после которого перестановка восстанавливается однозначно.

В первой строке - числа $n$ и $m$ ($2 \le n \le 10^5$, $1 \le m \le 10^5$): длина перестановки и количество фактов.

В следующих $m$ строках - пары $x_i$, $y_i$ ($x_i \ne y_i$): на позиции $x_i$ число меньше, чем на позиции $y_i$. Пары не повторяются, и хотя бы одна перестановка, удовлетворяющая всем фактам, существует.

Выведите наименьшее $k$, при котором первых $k$ фактов достаточно для однозначного восстановления перестановки, или -1, если её нельзя восстановить и по всем фактам.