samsung gsm family: set ro.telephony.default_network=9

samsung gsm family: set ro.telephony.default_network=9