Using CCC[C@H]1CC[C@H](C(F)=C(F)F)CC1, Fc1ccc(I)cc1 to produce CCC[C@H]1CC[C@H](/C(F)=C(\F)c2ccc(F)cc2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.