Using Cc1cn(-c2ccc(/C=C(\CCCCl)C(=O)N[C@H](c3cc(F)c(F)c(F)c3)[C@@H](C)O)cc2F)cn1 to produce Cc1cn(-c2ccc(/C=C3\CCCN([C@H](c4cc(F)c(F)c(F)c4)[C@@H](C)O)C3=O)cc2F)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.