Using OB(O)C1CC1, O=c1c2cc(-c3ccc(OC(F)(F)F)cc3)ccc2cnn1Cc1cccnc1Br to produce O=c1c2cc(-c3ccc(OC(F)(F)F)cc3)ccc2cnn1Cc1cccnc1C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.