Using OB(O)C1=CCCC1, Clc1cnc2c(n1)OCCN(Cc1ccccc1)C2 to produce C1=C(c2cnc3c(n2)OCCN(Cc2ccccc2)C3)CCC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.