В какъв размер всъщност трябва да бъде дългът, който България да изтегли?