Rio de Janeiro's city government model Rio3.5 beats Qwen3.7 in recent benchmarks