6 ms·

Well, I guess we can say that human researchers have a certain probability of solving problems like this?