>>724
const int INF = numeric_limits<int>::max() / 2;