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