Using Oc1ccnc2cc(/C=C/c3ccccc3)ccc12, Oc1ccnc2cc(CCc3ccccc3)ccc12 to produce Oc1ccnc2c1ccc1ncccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.