Using Clc1nc2ccccc2s1, CC(C)(C)OC(=O)N1C[C@@H]2C[C@H]1CN2 to produce CC(C)(C)OC(=O)N1C[C@@H]2C[C@H]1CN2c1nc2ccccc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.