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