Using Cc1cn(-c2ccc(C=O)cc2F)cn1, CC1CN(Cc2ccc(F)cc2)C(=O)[C@@H](O)O1 to produce Cc1cn(-c2ccc(/C=C3\O[C@@H](C)CN(Cc4ccc(F)cc4)C3=O)cc2F)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.