Submissions for team BinaryChurch on problem K KIT Finding