Using CCOC(=O)C12CCC(c3ccccc3)(CC1)CC2, O=C(OI(OC(=O)C(F)(F)F)c1ccccc1)C(F)(F)F to produce CCOC(=O)C12CCC(c3ccc(I)cc3)(CC1)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.