Using O=C1OCc2c1cnc(Cl)c2Cl, O=C1Cc2cc(F)ccc2N1 to produce O=C1Nc2ccc(F)cc2C1=C1OCc2c1cnc(Cl)c2Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.