FTX-256-23aa: No result.