The calculated distance (air line) between Pedra Badejo and Picos is approximately 8 miles respectively 12 kilometers.
By car or train, the actual journey to Picos is certainly longer, as only the direct route (as the crow flies) between Pedra Badejo and Picos has been calculated here.
Air line (approximately)
12 kilometers
7 nautical miles