修一段公路，甲队单独修20天可以完成，乙队单独修30天可以完成，现在两队合修，中途甲队休息了2.5天，这样修完这条公路一共用了多少天？