Before revision:  By assuming the existence of a poly(n)-space and 2^{O(n) .
After revision:  By assuming the existence of a poly(n)-space and lattice sparsification .