Using O=[N+]([O-])c1ccc(Oc2ccc(C(F)(F)F)cc2Cl)cc1CO, C=C(C)C to produce CC(C)(C)OCc1cc(Oc2ccc(C(F)(F)F)cc2Cl)ccc1[N+](=O)[O-], please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.