Using COc1cc(-c2nc3sccn3c2-c2ccnc(NC3CCN(S(=O)(=O)C4CC4)CC3)n2)ccc1F to produce O=S(=O)(C1CC1)N1CCC(Nc2nccc(-c3c(-c4ccc(F)c(O)c4)nc4sccn34)n2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.