I\'m getting back into Google\'s OR tools and trying a (relatively) simple optimization. I\'m using the CP SAT solver and I\'m probably missing something elementary here. I have