Removed the ,searching for a subgroup, from the instantiation finding problem description