Using CC(C)[Si](C(C)C)(C(C)C)C1c2ccccc2-c2ccccc21, C=O to produce CC(C)[Si](C(C)C)(C(C)C)C1(CO)c2ccccc2-c2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.