dual feasibility and primal optimality