FTX-256-17aa: No result.