Using CON(C)C(=O)c1ccccc1Nc1c(Cl)cc(C)cc1Cl, CC(C)C[Al+]CC(C)C to produce Cc1ccc(Cl)c(Nc2ccccc2C=O)c1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.