Submissions for team :blauererdrache: on problem K KIT Finding