Using O=C(O)C1CCC(Cc2nc3ncccc3[nH]2)CC1, NCc1ccccc1F to produce O=C(NCc1ccccc1F)[C@H]1CC[C@@H](Cc2nc3ncccc3[nH]2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.