Using O=C(O)c1c[nH]c2cc(-c3cccc4ccccc34)nn2c1=O to produce O=c1cc[nH]c2cc(-c3cccc4ccccc34)nn12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.