GPS에서 위도, 경도, 고도, 시간에 대한 차분해(differential solution)를 얻기 위한 위성의 최소 개수는?