Working naive push-relabel