При постройке колодца глубиной свыше 10 м оказалось, что первый метр колодца обошелся в 1000 рублей, а за каждый последующий метр пришлось платить на 500 рублей больше, чем за предыдущий. Кроме того, за обустройство всего колодца дополнительно заплатили 10000 рублей, так что средняя стоимость одного метра колодца оказалась равной 6250 рублям. Глубина построенного колодца равна ...