Closest vector problem