Using Clc1nc2ccccc2s1, COC(=O)c1cc2cc(O)ccc2o1 to produce COC(=O)c1cc2cc(Oc3nc4ccccc4s3)ccc2o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.