Using O=[N+]([O-])c1cccc(/C=N/c2ccc(C(F)(F)F)cc2)c1, C=C(C)C to produce CC1(C)CC(c2cccc([N+](=O)[O-])c2)Nc2ccc(C(F)(F)F)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.