On conjectures of Minkowski and Woods for n=7

Let Rn be the n-dimensional Euclidean space with O as the origin. Let ∧ be a lattice of determinant 1 such that there is a sphere |X|