B is passed with Dinic's algorithm