Is there any SAT algorithms that has an irrational exponent in it?

Question

Hi was wondering if there is any SAT algorithms that solves exponentially. I heard Ryan Williams has shown that all algorithms that solves SAT problems in space n^o(1) has t