已修长度是未修长度的七分子三,已修的长度比未修的长度少800米,求公路全长?