Using Fc1ccc(I)c(F)c1, CC1([C@H]2C[C@H]3CON=C3CO2)CC1 to produce CC1([C@H]2C[C@H]3CON[C@@]3(c3ccc(F)cc3F)CO2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.