Short vector problem