Using Clc1nccnc1Cl, O=C(c1ccc(O)cc1)c1nc2ccccc2s1 to produce O=C(c1ccc(Oc2nccnc2Cl)cc1)c1nc2ccccc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.