Using CC(=O)N1CC=C(c2cccnc2F)CC1, O[C@H]1C[C@@H](Nc2nc3ccccc3s2)C1 to produce CC(=O)N1CC=C(c2cccnc2O[C@H]2C[C@@H](Nc3nc4ccccc4s3)C2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.