Faster exponential time algorithms for the shortest vector problem