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

[Vladimir_Nesov]

(In case anyone read parent comment before the edit, I apologize. In other news, yesterday I forgot that it’s April. I need my reflection.)