https://1library.org/document/qv925j1y-uma-conjectura-refutada-sobre-satisfazibilidade-probabilística.html