Given the information above, before what date was the Schoen-Yau conjecture disproved?