修路队修一条公路，已经修好了9.4千米，没有修的比已经修的少1.25千米。这条公路全长多少千米？