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