finished the satisfies operation orders constraint