Submissions for team o4-mini-high on problem D Demand for Cycling