Using C=C(B1OC(C)CC(C)(C)O1)C(F)(F)F, Fc1ccc(Nc2ccc3c(Cl)nncc3c2)cc1 to produce C=C(c1nncc2cc(Nc3ccc(F)cc3)ccc12)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.