Before revision:  Our result is achieved by an application of the LLL algorithm Lenstra, Lenstra and Lov\'asz, Math. Ann. 1982 for the shortest lattice vector problem.
After revision:  Our result is achieved by an application of the LLL algorithm  for the shortest lattice vector problem.