Comment by spott

It likely cost them more than a million in compute to solve it…