Using COC(=O)c1cccc(NC(=O)NCC(=O)N2C(C(=O)NCC(C)C)CC(S(=O)(=O)c3cccc(OC)c3)C2c2ccccc2F)c1 to produce O=C(O)c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.