closest vector problem