yermilov/cross-sum-3 fixed
mark constraints in output