Using Fc1ccc(C=Cc2ccc(-c3ccc4ccccc4c3)cc2F)cc1 to produce Fc1ccc(CCc2ccc(-c3ccc4ccccc4c3)cc2F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.