They should stop optimizing their Company Share Option Plans and get back to work!
(It was a gradient descent optimizer, so probably unconstrained optimization rather than a Constraint Satisfaction Optimization Problem, but it might have had constraints.)
