Using O=CO, Fc1cccc(F)c1-c1cc2c3c(c1)[C@@H]1CNCC[C@@H]1N3CCC2 to produce CN1CC[C@H]2[C@@H](C1)c1cc(-c3c(F)cccc3F)cc3c1N2CCC3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.