A hard Max Flow problem - I can't really prove the solution