Using O=C(O)c1cnc2ccccc2c1, CC(C)(C)OC(=O)C1CN(c2ccccc2F)C(=O)C1N to produce CC(C)(C)OC(=O)[C@@H]1CN(c2ccccc2F)C(=O)[C@@H]1NC(=O)c1cnc2ccccc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.