Стоимость 4 взрослых билетов в цирк и 5 детский - 3900 рублей. Сколько стоит детский билет, если взрослый стоит в 2 раза дороже?