Finding a very short lattice vector in the extended search space