if(dfn[c2] >= dfn[k] && x != c1) cut[x] = 1;//AC
//dfn[c2] >= dfn[x] // WA 2个
////low[c2] >= dfn[x] // WA 2个