Using CC(C)(C)OC(=O)N1C(=O)CCC(N2C(=O)c3ccccc3C2=O)C1=O to produce O=C1CCC(F)(N2C(=O)c3ccccc3C2=O)C(=O)N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.