Suppose for the country of Karla-opolis, the inflation rate is 10%, the population growth is 5% per year while the real GDP growth is 5% per year. How long would it take for the country to double its real GDP per capita?