[amsat-bb] ARISSat1/RADIOSCAF-B doppler in SatPC32 problem