the new formulation including feasibility constraints