Somewhat plausible values: 5.5 (to harmonize with Opus), 5.3 (we're skipping a minor version because...), 6 (because we're at the top of benchmarks again).