Using N=C(N)c1nc(C(F)(F)F)cs1, CCOC(=O)C(=C[O-])Oc1ccccc1 to produce Oc1nc(-c2nc(C(F)(F)F)cs2)ncc1Oc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.