Using CC(C)(C)OC(=O)N1CCN(c2ccc(N3C[C@H](CNC(N)=S)OC3=O)cc2F)CC1 to produce NC(=S)NC[C@H]1CN(c2ccc(N3CCNCC3)c(F)c2)C(=O)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.