Submissions for team witHpRolOg on problem K Karlsruhe Skyline