A sieve algorithm for the shortest lattice vector problem | Synapse