Using OB(O)c1ccc(F)cc1, CSc1nncc(-c2ccc(F)c(-c3ccc(F)cc3C#N)c2)n1 to produce N#Cc1cc(F)ccc1-c1cc(-c2cnnc(-c3ccc(F)cc3)n2)ccc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.