What is the rule for mixing studded and unstudded tyres on a heavy bus?

1. They may not be mixed on the same axle
2. They may never be on the same vehicle
3. They must always be mixed diagonally
4. There is no restriction during winter