I found in some sources that it may be 20 to 30% of lost coins forever... Nobody knows this number.