Джефф ел салат с мандаринами. В любое время года запах мандаринов напоминает ему про Новый год. Вот и сейчас он вспомнил, как, будучи маленьким, развешивал шары на елке...

Родители доставали большой бумажный пакет с красными и синими шарами, а Джефф вытаскивал их по одному и выбирал, на какой ветке повесить очередной шар. Красных и синих шаров было поровну, и Джефф хотел, чтобы вместе они образовали задуманный им узор.

Джефф полагал, что было бы удобнее развесить сначала шарики одного цвета, а затем другого, и поэтому действовал следующим образом. Он доставал первый шар и вешал его на елку. На это у него уходила одна единица времени. Затем он доставал второй шар. Если этот шар оказывается того же цвета, что и первый, Джефф также за одну единицу времени помещал его на елку. Если же этот шар оказывался другого цвета, Джефф возвращал этот шар в пакет. На это у него тоже уходила одна единица времени. После этого Джефф вновь доставал шар и находил для него место на елке уже независимо от его цвета — опять же за одну единицу времени.

Так происходило с каждым следующим шаром. Если предыдущий шар Джефф повесил на елку, то следующий он вешал на елку в том случае, если его цвет совпадал с цветом предыдущего. Если же предыдущий шар Джефф не повесил на елку, то следующий он вешал в любом случае.

Ваша задача — определить, какое минимальное количество красных (равное количеству синих) шаров могло быть в пакете, если Джефф потратил на размещение всех шаров на елке время t.