Using O=C1C=CC(=O)O1, CN1CC=C(C=Cc2ccccc2)CC1 to produce CN1CCC2=CC(c3ccccc3)C3C(=O)OC(=O)C3C2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.