Submissions for team ThisTime4\mathbb{R} on problem KIT Finding