тогда маршрут прописать примерно так
route -p add 10.7.x.x mask 255.255.255.255 10.5.0.1 (это в том случае , если он DHCP сервером не выдается )
другой вопрос , прозрачный ли прокси 10.7.х.0 или только по определенным портам - это уже выяснять надо у провайдера ( точнее у владельца компьютера 10.7.х.х )
. Или опять не прокатит ?