Using Fc1ccc(N=C=S)cc1, NN1CC=C(c2ccccc2)CC1 to produce Fc1ccc(NC(=S)NN2CC=C(c3ccccc3)CC2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.