3 ms·I thought this turned out to be a bug in the solver?by KaiserPro 2mo agoI thought this turned out to be a bug in the solver?