Using COS(=O)(=O)OC, O=c1ccc2cc(-c3cccnc3)ccc2[nH]1 to produce Cn1c(=O)ccc2cc(-c3cccnc3)ccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.