Using CC1(C)[C@H]2CC[C@]1(C)C(=O)C2=O, COP(=O)(CC(=O)c1cnn(-c2ccccc2)c1C)OC to produce Cc1c(C(=O)/C=C2/C(=O)[C@@]3(C)CC[C@@H]2C3(C)C)cnn1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.