о вычислимости

(понятно будет только компьютерщикам)

"Что будет, если вы найдете алгоритм в RP для решения SAT, со степенью многочлена, примерно равной 2^2^1000?"