Using COCN(c1nc(-c2cccc(-c3ccccc3)c2)cs1)S(=O)(=O)c1ccc(C)cc1 to produce Cc1ccc(S(=O)(=O)Nc2nc(-c3cccc(-c4ccccc4)c3)cs2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.