No, they don’t know that, and they are still digging.
Do you remember Jurassic Park and Ian Maclcom’s “Chaos theroy”
Well AB is in what’s called Gambler’s Ruin right now.