Correct me if I'm wrong, please. Doesn't any sufficiently-complex non-linear optimization problem degenerate into heuristic trial and error? There's a progression of better and better solutions. With the unpredictability of the real world, and the low number of trials they'll get (this is their second HQ), I wonder greatly what they've got going on.