Feasibility_condition