EFT_A9 #1535 (EFT_A9)