4 ms·I'm more surprised that they were able to prove it computationally.by elwell 13y agoI'm more surprised that they were able to prove it computationally.