Submissions for team Freiheit on problem KIT Finding