Submissions for team Naming is (NP) Hard on problem KIT Finding