Using [O-][n+]1ccnc2c3ccccc3c3ccccc3c21, O=P(Cl)(Cl)Cl to produce Clc1cnc2c3ccccc3c3ccccc3c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.