Using O=C1C2CC3CC(C2)CC1C3, N#Cc1ccc(Cc2nc[nH]n2)cc1 to produce N#Cc1ccc(C(c2nc[nH]n2)C2(O)C3CC4CC(C3)CC2C4)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.