Using COC(=O)Cn1cc2c(n1)CN([C@H]1CSC(c3cc(F)ccc3F)[C@@H](NC(=O)OC(C)(C)C)C1)C2 to produce CC(C)(C)OC(=O)N[C@H]1C[C@@H](N2Cc3cn(CCO)nc3C2)CSC1c1cc(F)ccc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.