Shortest Vector Problem