Using O=C(O)C(F)(F)F, CON=CC1C2CC(CN(Cc3ccccc3)C2)C1C=NOC to produce c1ccc(CN2CC3CC(C2)c2cnccc23)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.