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).

Yeah, among the plethora of possible options, this really nails it down to the individual.