Using CCCC1(Br)Cc2c(c(C)c(C)c3oc(C(=O)O)cc23)C1=O to produce CCC=C1Cc2c(c(C)c(C)c3oc(C(=O)O)cc23)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.