Using O=C([O-])C(F)(F)Cl, Cc1ncc(C=O)c2c1OC(C)(C)OC2 to produce Cc1ncc(C=C(F)F)c2c1OC(C)(C)OC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.