Using Nc1ccc(F)c(C(F)(F)F)c1, Clc1nc(Cl)nc(Cl)n1 to produce Fc1ccc(Nc2nc(Cl)nc(Cl)n2)cc1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.