added 1slack formulation