85x - Rus zverejnil program, ktorý by mal dokazovať P = NP