Closest-Vector-Problem