Using COC(=O)C1CCN(Cc2ccc(C3=C/C(=C4\C(=O)Nc5cc(F)c(F)cc54)OC3(C)C)cc2)CC1 to produce CC1(C)O/C(=C2/C(=O)Nc3cc(F)c(F)cc32)C=C1c1ccc(CN2CCC(C(=O)O)CC2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.