Using O=C(O)c1cnc2ccccc2c1, OC12CC3CC(CC(C3)C1)C2 to produce O=C(OC12CC3CC(CC(C3)C1)C2)c1cnc2ccccc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.