Czechia | National Math Olympiad Problem