Working but still slow push-relabel