Using C[Al](C)C, CC1=C(N2C=C(OS(=O)(=O)C(F)(F)F)C3(CCN(C(=O)OC(C)(C)C)CC3)C2=O)COC1=O to produce CC1=CN(C2=C(C)C(=O)OC2)C(=O)C12CCN(C(=O)OC(C)(C)C)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.