Using CN1CC(=Cc2ccccc2)C(=O)C(=Cc2ccccc2)C1, NNCC(F)(F)F to produce CN1CC(=Cc2ccccc2)C2=NN(CC(F)(F)F)C(c3ccccc3)C2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.