Submissions for team SOC on problem K KIT Finding