Well who could have guessed they would use 5.5. Such an odd guess.
Yeah, among the plethora of possible options, this really nails it down to the individual.
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).