Simplified the flow network for the polynomiality proof of sc_ss_sp.