Using O=c1[nH]c2c(NCc3ccccc3)nc(C(F)(F)F)cc2n1Cc1ccccc1 to produce Nc1nc(C(F)(F)F)cc2c1[nH]c(=O)n2Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.