Using CC1(C)OC[C@@H](C(=O)N2CC=C(c3ccc(N4C[C@H](COc5cnsn5)OC4=O)cc3F)CC2)O1 to produce O=C([C@@H](O)CO)N1CC=C(c2ccc(N3C[C@H](COc4cnsn4)OC3=O)cc2F)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.