Using C[O-], FC(F)(F)c1ccn(-c2nc(Cl)cc(Cl)n2)n1 to produce COc1cc(Cl)nc(-n2ccc(C(F)(F)F)n2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.