Using O=C([O-])[O-], O=c1ccc2c(-c3ccccc3)nccc2[nH]1 to produce Cn1c(=O)ccc2c(-c3ccccc3)nccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.