Using O=S(=O)(OS(=O)(=O)C(F)(F)F)C(F)(F)F, CCC(CC)(c1ccc(O)c(C)c1)c1ccc(/C=C/C2(O)CCCC2)c(C)c1 to produce CCC(CC)(c1ccc(/C=C/C2(O)CCCC2)c(C)c1)c1ccc(OS(=O)(=O)C(F)(F)F)c(C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.