Title: On simply-connected 7-manifolds