Automated Conjecturing Approach for Benzenoids