FTX-256-51aa: No result.