improve handling infeasibility