Submissions for team Ctrl-Alt-Succeed on problem KIT Finding