Submissions for team o4-mini-high on problem K Karlsruhe Skyline