All AMO40 are solved