Fix wrong incentive constraint, move z's obj coeff
Implement main loop for the subgradient algorithm