Using O=C1Nc2ccccc2C1=O, Cc1nc2cc(O)ccc2s1 to produce Cc1nc2cc(O)c(C3(O)C(=O)Nc4ccccc43)cc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.