他们要用那种委内瑞拉的石油来偿还债务,对吧?