Using Nc1nc(Cl)cc(Cl)n1, OC(c1ccc(-c2cccc(F)c2)cc1)C(F)(F)F to produce Nc1nc(Cl)cc(OC(c2ccc(-c3cccc(F)c3)cc2)C(F)(F)F)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.