Using O=C(N=C=S)c1ccccc1, CC(C)(C)OC(=O)N1C[C@@H](CO)[C@](N)(c2ccns2)C1 to produce CC(C)(C)OC(=O)N1C[C@H]2CSC(NC(=O)c3ccccc3)=N[C@@]2(c2ccns2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.