Oscar_Cunningham comments on What would you do with a solution to 3-SAT?

[Oscar_Cunningham]

it’s safe to bet that historical regularities will go out the window.

Pun intended?