Using CC1CC(C2(O)c3ccc(Cl)cc3CCc3cccnc32)CC(C)N1C to produce CC1C/C(=C2\c3ccc(Cl)cc3CCc3cccnc32)C(C)CN1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.