This paper characterizes alternation trading based proofs that satisfiability is not in the time and space bounded class \DTISP(n^c, n^\epsilon), for various values c<2 and \epsilon<1. We characterize exactly what can be proved in the \epsilon=0 case with currently known methods, and prove the conjecture of Williams that c=2\cos(\pi/7) is ... more >>>