Using O=C(Cl)C1CCC1, NC(c1ccc2ccc(-c3ccccc3)nc2c1)c1nccnc1Cl to produce O=C(NC(c1ccc2cccnc2c1)c1nccnc1Cl)C1CCC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.