Floer homology of Brieskorn homology spheres: solution to Atiyah's problem - Nikolai Saveliev (1997)