Using c1ccc(-n2cccc2)cc1, ClP(C12CC3CC(CC(C3)C1)C2)C12CC3CC(CC(C3)C1)C2 to produce c1ccc(-n2cccc2P(C23CC4CC(CC(C4)C2)C3)C23CC4CC(CC(C4)C2)C3)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.